H

haskell

Typing rules for Haskell