Done (a6e77187ef96035cde94c25241dfc2f7285cd0be). Although I don't like turning to many switches and tweaks. Does this also work in compilers aside from GHC? Or are they ruled out by the TaypeFamilies extension anyway?