Applicative package:parameterized

Parameterized version of ap in Applicative NB. PPointed cannot be made a superclass because type variable id is not in scope.