Hask.Adjunction

class f -| g

swap

class Curried p q