Fun is an applicative.