[arianvanp]

Some of the GHC performance bugs that we ran into during the research have been fixed as far as I know! Though I'd have to double-check

[vcmiraldo]

Indeed, we also designed a brand new generics library to work around that. Performance was really not an issue! :)