frea
frea copied to clipboard
Typing Haskell in Haskell - Predicates, Contexts and related stuff