ghc --make -fglasgow-exts -Wall -i..:../fgl:../parsec:../pretty:../CASL -package data TypeInference.hs hacapa.lhs -o hacapa