Hooking in typechecker and Haskell codegenerator to the driver