Checking haskell examples
Nocheck exerpts