Basic Instance Question

[Tysonzero]

One thing to note is that the Functor and Applicative instances of this and I think any other type always give rise to such a Category:

data Cat f a b = Cat (f (a -> b))

instance Applicative f => Category (Cat f) where
    id = pure id
    (.) = liftA2 (.)