exprType in patterns
main for Adder
Mystery: with module Main in Adder.hs, the Adder.hss script doesn't run