pure is actually a function of Applicative.