Add tests for Applicative laws with Array
Favour explicit over implicit Optional typing