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

csharp fsharp hlist

rust fp hlist type-level type-level-programming

swift functional-programming hlist

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