arrows are expression operations, not types