Generation tests so that expressions are compiled in a ghc session