Oh, sorry for the omission! I've worked out of HEAD for long enough that I though that was in 0.8. On Tue, Jan 31, 2012 at 5:36 PM, Felipe Almeida Lessa <felipe.lessa at gmail.com> wrote: > Also: > > * MacKey has phantom types. > > This seems to be the only breaking change [1].