úÎ#`j     Safe &'-HSVXM  None_ k singlethongs Generate  ,  ,  and  instances for a datatype.Given a datatype like Foo. below, having one or more unary constructors: data Foo = Bar | Qux  ''Foo %The following code will be generated: data instance   (x :: Foo) where SBar ::   'Bar SQux ::   'Qux instance  Fobo where type  Foo = Foo  SBar = Bar  SQux = Qux  Bar =  SBar  Qux =  SQux instance   'Bar where   = SBar instance   'Qux where   = SQux instance  (  :: Foo -> *) where  SBar SBar =    SQux SQux =    _ _ =  In order to use this @ function, you will need to enable the following GHC extensions: Q{-# LANGUAGE DataKinds, GADTs, KindSignatures, TemplateHaskell, TypeFamilies #-} None &'.HV î        singlethongs-0.1-inplace SinglethongsSinglethongs.InternalSinglethongs.THbaseData.Type.EqualityRefl:~: testEquality TestEqualitySingKindDemotefromSingtoSingSomeSingSingIsingSing withSomeSing singlethongs GHC.MaybeJustNothing