splitFunTy instead of FunTy pattern match in mkAmp
Examples. They all work now.