Starting to implement the typing rules in Haskell