Types: FunType(Type,Type); TPI: unify: TypeFun,TypeFun