c-sharp monads functional-programming records functional-languages equality generic f-sharp monad functor lenses monoid semigroup monad-transformers applicative immutable-collections bcl immutable-types higher-kinded-types language-ext ad-hoc-polymorphism structural-equality

java lambda functional-programming tuples io-monad algebraic-data-types monad functor lenses monoid semigroup optics either hlist profunctors traversable coproduct maybe-monad bifunctors try-monad

haskell logging haskell-library semigroup composability comonad contravariant

algebra monad category-theory monoid semigroup bucklescript theory prelude reasonml abstract category semiring abstract-algebra reason semigroupoid

functional-programming monad functor monoid typeclass semigroup functional-js

computer-algebra c-plus-plus-11 enumeration monoid semigroup congruence

swift functional programming validation fp functor semigroup applicative swiftz

haskell parser-combinators solutions algebraic-data-types monad functor monoid semigroup abstract-data-types monad-transformers applicative traversable sum-types haskell-book foldable haskellbook newtype haskell-programming product-type

haskell haskell-library semigroup algebraic-structures partial-semigroup

r algebra semigroup network-analysis semiring

dart algebra functional-programming monoid semigroup pub field group dartlang abstractalgebra vectorspace

functional scala lambda-calculus writer monad reader free monoid semigroup monad-transformers

anaconda python-bindings monoid semigroup congruence libsemigroups-library

clojure computer-algebra mathematics semigroup computer-algebra-system abstract-algebra diagram-semigroups

haskell-library monoid semigroup phantom-types

lol data-structures semigroup

scala functional-programming monad functor category-theory monoid semigroup laws applicative

enumeration semigroup diagram-semigroups transformation-semigroups

haskell nix pandoc monoid semigroup reveal-slide-decks

javascript functional-programming composition monad functor monoid semigroup

cats scala monad functor monoid semigroup typeclasses applicative foldable

sgd semigroup mcmc

validation monad functor semigroup applicative

algebra semigroup abstract-algebra inverse-semigroup

map haskell containers data-structures monoid semigroup

transformations monoid semigroup zappa-product

gap semigroup petri-net

functional scala functional-programming category-theory semigroup

monads scala semigroup monoids functors functional-programing

scala monad monoid semigroup dotty pure-functional