API constraints a'la carte in Haskell & PureScript
A demonstration of conceptually lightweight constraints in Haskell & PureScript
Tags: purescript, haskell