tests for List.Monad