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

rust generic fp generic-programming lenses hlist type-level type-level-programming validated labelled-generic coproduct datatype-generic-programming

serialization scala avro scala-macros avro-schema schema-generation coproduct

scala algebra functional-programming iota performance-tuning coproduct

scala interpreter free-monads freek coproduct

composition functor idris coproduct functors bifunctor bifunctors functor-products

kotlin coproduct

cats algebra monad free inject coproduct natural-transformation

category-theory either coproduct

product scala category-theory semiring coproduct distributive

sum category-theory bucklescript either reasonml reason coproduct

serialization product types functional-programming lambda-calculus deserialization coproduct typedef

product scala generic-programming shapeless hlist coproduct

dependent-types scala macros generic-programming singleton-types typeclasses heterogeneous-lists hlist phantom-types typelevel-programming coproduct polymorphic-functions typeclass-derivation

java product functional-programming pattern-matching sum-types railway-oriented-programming coproduct vavr

dsl idris coproduct la-carte