The problem is that it will not work for higher kinded types as that's not supported in Elm. You can not define a functor, a monad, ...