braindead fix of Typechecker.hs