How would you restrict the possability of lifting a function into an Applicative? Can't you simply use pure and <*> for that?