rfcs

Delete docs/monomorphic-type-bindings-for-generics.md

Update monomorphic-type-bindings-for-generics.md

Create monomorphic-type-bindings-for-generics.md

Relax the recursive type restriction. (#92)

RFC: Negation types (#29)