generics

Fixing GADTs

Generic recursion schemes for GADTs using fixed points of higher-order functors.

under
                construction