reinerp/first-class-patterns

First class patterns and pattern matching, using type families

first-class-patterns

NOTE: Officially maintained in this fork:

• https://github.com/kowainik/first-class-patterns

Please, open issues and pull requests there.