Property implements Applicative