4 ms·X->Y is not a function. f is.by yakubin 3y agoX->Y is not a function. f is.kian 3y agolabel 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 ;)