Make list monad and nats examples partial