com.propensive:mercator-core_2.12 (maven): Automatic creation of typeclass evidence for monad-like types
Keywords: bind|category-theory|flatmap|monad|monadic|point|unit