To test our type system generator, do the following:

hugs +N Top.TypeRules.Example
ghci -i../src/ -package text Example 

type
test "HM.type"
or any other file you would like to try.

Then 
ag -dcfsp --module=Temp Temp
(this line can be found in the top of TempImport).

Then do 
hugs +N TempTest

and try
main expr
or
main compose
to view the results.