Type Proofs gives us a generalized strategy to cre...

# arrow-contributors

[raulraja]

Type Proofs gives us a generalized strategy to create functional preludes a la carte where some of the strategies include synthetic subtyping, extensions, negation, products, derivation etc.