Add applicative laws