#free-monads

  1. algar

    代数结构、高阶类型和其他范畴论不良想法

    v0.4.1 #category-theory #monads #free-monads #tagless #monad-transformers