sum-types topic

Expressive High-Performance Eager Functional Programming Library for C++ 11

cwahn

Result, Either, Try, and Maybe monadic types for Java

xyzsd

Easy, fast, transparent generic derivation of typeclass instances in Scala

propensive