list - 如何隐藏 [] (或一般 [] )的 Monad 实例？

Question

我正在尝试完成Typeclassopedia 中的一些练习。 ，但我无法定义自己的 [] 的 Monad 实例，因为我似乎无法隐藏它。我能够隐藏Maybe有效，但是当我试图隐藏 [] ，我收到此错误:parse error on input '['
我正在使用这行代码来导入:

import Prelude hiding (Maybe, Just, Nothing, [])

更改 []至([])也不能解决这个问题。

我不知道该怎么做。任何帮助都会很棒!谢谢!

Answer 1

你可以试试-XNoImplicitPrelude ，但最简单的可能是定义自己的List语义等同于 [] 的类型并为此类型实现您的实例。

隐藏实例是不可能的，甚至 import Prelude ()将导入实例。