Sounds like Haskell but making things that are awful monad stacks of readers, writers, state (yuk) into sublime language features.