Added applicative laws