Applicative: Test that Optional obeys composition law
Add Array instance of Applicative