# Pastebin uR9oDyF3
import qualified Control.Category as C

newtype A a b = A (a -> b)

instance C.Category A where
  id = A id
  A g . A f = A $ g . f