It's the function type, data (->) a b. It is commonly written in infix notation though.