purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

No monomorphic proxies #64

Closed kl0tl closed 3 years ago