derive4j

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

Higher Kinded Type machinery for Java

Automatic derivation of functional-java typeclasse instances and optics