simplify :: Type -> SimpleType
simplify (ForAllTy (Anon t1) t2) = SimpleType funTyConName [simplify t1, simplify t2]
simplify :: Type -> SimpleType
simplify (ForAllTy (Anon t1) t2) = SimpleType funTyConName [simplify t1, simplify t2]
simplify (ForAllTy (Anon t1) t2) = SimpleType funTyConName [simplify t1, simplify t2]