label the function going from X->Y would be how I was intending that to be read. I'm well aware that X->Y is a type signature ;)