Lovely response! Very cool to see Unison mentioned. Haskell and Purescript are my daily drivers but I have a huge crush on it even though it intimidates me.

Ps. Unison doesn’t have monads. They are replaced by “abilities”.