[GHC] #13783: 更合理的instance Monad []