[] (AKA 'A List') is an instance of Monad