Compose is a-> b you want a -> (b, c)
# arrow
t
Compose is a-> b you want a -> (b, c)