7 Jun
2020
7 Jun
'20
5:38 p.m.
On 2020-06-06 2:11 a.m., Dannyu NDos wrote:
As we already have IsList, shouldn't we just do this?
class(IsListl, Iteml~Char) => IsStringl instance(a~Char) => IsString[a] instance(a~Char) => IsString(NonEmptya) instance(a~Char) => IsString(ZipLista)
That's not a generalization, it's a restriction. It would, for example, exclude both ByteString (whose IsString instance is admittedly broken) and ByteStringUTF8 (whose isn't).