Free Monad
docs
typelevel.org