Lab 9: Haskell types

Coming soon.