@ekmett , the `AllowAmbiguousType` was required by GHC 7.8 in order for the code to compile. Do you have any idea if this change is gonna be backward compatible with GHC <= 7.6?