区分String和[Char]

Question

我知道String被定义为[Char],但我想在类实例中区分它们.除了使用newtype创建一个单独的类型之外,是否可以使用一些聪明的技巧？我想做的事情如下:

class Something a where     
  doSomething :: a -> a

instance Something String where
  doSomething = id

instance (Something a) => Something [a] where
  doSomething = doSoemthingElse

当我用doSomething ("a" :: [Char])和调用它时得到不同的结果doSomething ("a" :: String).

我知道FlexibleInstances,OverlappingInstances但他们显然不会削减案件.

Answer 1

这是不可能的.String并且[Char]是相同的类型.没有办法区分这两种类型.随着OverlappingInstances您可以创建单独的实例String和[a],但[Char]总是会使用实例String.