与えられた:
data Foo =
FooString String
…
class Fooable a where --(is this a good way to name this?)
toFoo :: a -> Foo
のString
インスタンスを作成したいFooable
:
instance Fooable String where
toFoo = FooString
次にGHCは不平を言います:
Illegal instance declaration for `Fooable String'
(All instance types must be of the form (T t1 ... tn)
where T is not a synonym.
Use -XTypeSynonymInstances if you want to disable this.)
In the instance declaration for `Fooable String'
代わりに使用する場合[Char]
:
instance Fooable [Char] where
toFoo = FooString
GHCの不満:
Illegal instance declaration for `Fooable [Char]'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Fooable [Char]'
質問:
- 文字列と型クラスのインスタンスを作成できないのはなぜですか?
- フラグを追加すれば、GHCはこれを回避させてくれるようです。これは良い考えですか?