invalid-hence/foreign-03.hence at (2,8): Unexpected '^'