Row types are great. I'm doing a PureScript project right now and absolutely love having row polymorphism. I'm also a fan of effect systems, although I haven't

Row types are great. I'm doing a PureScript project right now and absolutely love having row polymorphism. I'm also a fan of effect systems, although I haven't used them as much. Having an IO type in Haskell is great, but the ergonomics aren't (among other things, you get async-like function coloring). Effects seem like a much nicer, more composible way to get the same benefits.