墨卡托猫 为Monad推导Monadic 用法 添加到您的build.sbt libraryDependencies + = " im.plmnt " %% " mercator-cats " % " 1.0.0 " 如果Type类存在Monad实例,则可以与木兰结合使用 import mercator . cats . _ type Typeclass [ T ] def combine [ T ]( caseClass : CaseClass [ Typeclass , T ]) : Typeclass [ T ] = caseClass.constructMonadic { pa