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