Reposted by val (try medaka)

it is deliberately trying to shy away from the heavy category theory elements of Haskell, yes. we still have higher kinded types and even Monads (Medaka calls them Thenables to be more friendly) but they're just a design pattern you can reach for as you see fit.