Because it’s an effect system, it’s not returning monads. It’s a different kind of type system with different restrictions and benefits. You could make every fu

Because it’s an effect system, it’s not returning monads. It’s a different kind of type system with different restrictions and benefits. You could make every function implicitly pure, but that would be syntactic sugar, as opposed to Haskell where pure-as-default is a consequence of how the type system is structured.