Sugar.makePolymorphic extracted out of where
Quasi-eta-reduce in Sugar