Applicative algebra instances