ghc --make -fglasgow-exts -Wall -i:..:../CASL:../Common:../Logic:../ghc -package data hacapa.lhs -o hacapa