Различают строки и [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.

Answer 2

Почему вы не определить функции для каждого случая:

doSomethingString :: String -> String 
doSomethingString = id 

doSomethingChars :: (Char -> Char) -> String -> String 
doSomethingChars f = ... 

Answer 3

Как было сказано ранее, String и [Char] фактически то же самое.

Что вы можете сделать, хотя и определяет newtype. Он обертывает тип (без каких-либо затрат, поскольку он полностью удаляется при компиляции) и заставляет его вести себя как другой тип.

newtype Blah = Blah String 

instance Monoid Blah where 
    mempty = Blah "" 
    mappend (Blah a) (Blah b) = Blah $ a ++ "|" ++ b