-- bug: shouldn't be defaulting these expressions
:type (+)
:type enumFromTo