Fix forget

strong-first :: p a b -> p (a, o) (b, o)
p a b  = a -> r
strong-first :: (a ->r) -> ((a, o) -> r)
Therefore, car should get precomposed.