import Types.Data.Num.Ops
-class HString s
+class (Show s, Eq s) => HString s
instance HString HNil
-instance IntegerT c => HString (HCons c s)
+instance ( Show c
+ , Show s
+ , Eq c
+ , Eq s
+ , IntegerT c
+ )
+ => HString (HCons c s)
hString :: QuasiQuoter
hString = QuasiQuoter quoteStrExp quoteStrPat