[TazeTSchnitzel]

Isn't aliasing types a core language feature?

[lclarkmichalek]

Functor and Monad are technically not types but type classes (i.e. interface vs an implementing class), hence why simple/naive type aliasing is not enough.