Change the name of 'apply' to 'ap'
Add test for the applicative laws