Computability and Complexity labs in Haskell