We know it also has a Functor instance

We know how <*> will produce new structure

We know what its structure looks like

We know a way to create a value of that type

We know we can sequence values of that type and combine their results

For a particular type, only one kind of Applicative behaviour is possible

For a particular type, only one kind of Functor behaviour is possible

For a particular type, it cannot have more than one Applicative behaviour simultaneously

Applicative is strictly more 'powerful' than Functor

All Functors are also Applicatives