data (IsString s) => T s = T

data
    (IsString s) =>
    T s = T

data
    ( IsString s
    , IsString s
    ) =>
    T s = T