Eric Niebler wrote:
Did I do something wrong ?
Yep. It has nothing to do with the domains. The expression type returned
by iota does not match your grammar
Oooooh crap I feel bad v_v
Of course terminal is no way in grammar.
Sorry for the disturbance.