Use TypeLits in the meta-data encoding of GHC.Generics

Test Plan: Validate.

Reviewers: simonpj, goldfire, hvr, dreixel, kosmikus, austin, bgamari

Reviewed By: kosmikus, austin, bgamari

Subscribers: RyanGlScott, Fuuzetsu, bgamari, thomie, carter, dreixel

Differential Revision: https://phabricator.haskell.org/D493

GHC Trac Issues: #9766

4 files changed, 244 insertions, 345 deletions

diff --git a/testsuite/tests/generics/GShow/GShow.hs b/testsuite/tests/generics/GShow/GShow.hs
index 6cdda282d8..cfe0230411 100644
--- a/testsuite/tests/generics/GShow/GShow.hs
+++ b/testsuite/tests/generics/GShow/GShow.hs
@@ -3,9 +3,9 @@
 {-# LANGUAGE FlexibleInstances          #-}
 {-# LANGUAGE FlexibleContexts           #-}
 {-# LANGUAGE TypeOperators              #-}
-{-# LANGUAGE IncoherentInstances        #-} -- :-/
 {-# LANGUAGE DefaultSignatures          #-}
 {-# LANGUAGE MagicHash                  #-}
+{-# LANGUAGE PolyKinds                  #-}
 
 module GShow (
   -- * Generic show class
@@ -134,5 +134,5 @@ instance (GShow a) => GShow [a] where
                       (intersperse (showChar ',') (map (gshowsPrec 0) l))
                    . showChar ']'
 
-instance (GShow a) => GShow (Maybe a)
+instance (GShow a)          => GShow (Maybe a)
 instance (GShow a, GShow b) => GShow (a,b)
diff --git a/testsuite/tests/generics/GenDerivOutput.stderr b/testsuite/tests/generics/GenDerivOutput.stderr
index 5698393496..6197da3d03 100644
--- a/testsuite/tests/generics/GenDerivOutput.stderr
+++ b/testsuite/tests/generics/GenDerivOutput.stderr
@@ -19,7 +19,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = GenDerivOutput.Cons g1 g2
-  
+
   instance GHC.Generics.Generic1 GenDerivOutput.List where
     GHC.Generics.from1 GenDerivOutput.Nil
       = GHC.Generics.M1
@@ -39,12 +39,12 @@ Derived instances:
                                                                              (GHC.Generics.M1 g2)))))
       = GenDerivOutput.Cons
           (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
+
   instance GHC.Base.Functor GenDerivOutput.List where
     GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil
     GHC.Base.fmap f (GenDerivOutput.Cons a1 a2)
       = GenDerivOutput.Cons (f a1) (GHC.Base.fmap f a2)
-  
+
   instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
     GHC.Generics.from GenDerivOutput.Empty
       = GHC.Generics.M1
@@ -63,7 +63,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = GenDerivOutput.Rose g1 g2
-  
+
   instance GHC.Generics.Generic1 GenDerivOutput.Rose where
     GHC.Generics.from1 GenDerivOutput.Empty
       = GHC.Generics.M1
@@ -87,119 +87,102 @@ Derived instances:
           (GHC.Generics.unPar1 g1)
           ((GHC.Base..)
              (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2)
-  
-  instance GHC.Generics.Datatype
-             GenDerivOutput.D1_main_GenDerivOutput_List where
-    GHC.Generics.datatypeName _ = "List"
-    GHC.Generics.moduleName _ = "GenDerivOutput"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput.C1_0main_GenDerivOutput_List where
-    GHC.Generics.conName _ = "Nil"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput.C1_1main_GenDerivOutput_List where
-    GHC.Generics.conName _ = "Cons"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             GenDerivOutput.S1_1_0main_GenDerivOutput_List where
-    GHC.Generics.selName _ = "element"
-  
-  instance GHC.Generics.Selector
-             GenDerivOutput.S1_1_1main_GenDerivOutput_List where
-    GHC.Generics.selName _ = "rest"
-  
-  instance GHC.Generics.Datatype
-             GenDerivOutput.D1_main_GenDerivOutput_Rose where
-    GHC.Generics.datatypeName _ = "Rose"
-    GHC.Generics.moduleName _ = "GenDerivOutput"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput.C1_0main_GenDerivOutput_Rose where
-    GHC.Generics.conName _ = "Empty"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput.C1_1main_GenDerivOutput_Rose where
-    GHC.Generics.conName _ = "Rose"
-  
-
-Generic representation:
-  
-  Generated datatypes for meta-information:
-    GenDerivOutput.D1_main_GenDerivOutput_List
-    GenDerivOutput.C1_0main_GenDerivOutput_List
-    GenDerivOutput.C1_1main_GenDerivOutput_List
-    GenDerivOutput.S1_1_0main_GenDerivOutput_List
-    GenDerivOutput.S1_1_1main_GenDerivOutput_List
-    GenDerivOutput.D1_main_GenDerivOutput_Rose
-    GenDerivOutput.C1_0main_GenDerivOutput_Rose
-    GenDerivOutput.C1_1main_GenDerivOutput_Rose
-    GenDerivOutput.S1_1_0main_GenDerivOutput_Rose
-    GenDerivOutput.S1_1_1main_GenDerivOutput_Rose
-  
-  Representation types:
-    type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
-                                                      GenDerivOutput.D1_main_GenDerivOutput_List
-                                                      (GHC.Generics.C1
-                                                         GenDerivOutput.C1_0main_GenDerivOutput_List
-                                                         GHC.Generics.U1
-                                                       GHC.Generics.:+: GHC.Generics.C1
-                                                                          GenDerivOutput.C1_1main_GenDerivOutput_List
-                                                                          (GHC.Generics.S1
-                                                                             GenDerivOutput.S1_1_0main_GenDerivOutput_List
-                                                                             (GHC.Generics.Rec0 a)
-                                                                           GHC.Generics.:*: GHC.Generics.S1
-                                                                                              GenDerivOutput.S1_1_1main_GenDerivOutput_List
-                                                                                              (GHC.Generics.Rec0
-                                                                                                 (GenDerivOutput.List
-                                                                                                    a))))
-    type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
-                                                   GenDerivOutput.D1_main_GenDerivOutput_List
-                                                   (GHC.Generics.C1
-                                                      GenDerivOutput.C1_0main_GenDerivOutput_List
-                                                      GHC.Generics.U1
-                                                    GHC.Generics.:+: GHC.Generics.C1
-                                                                       GenDerivOutput.C1_1main_GenDerivOutput_List
-                                                                       (GHC.Generics.S1
-                                                                          GenDerivOutput.S1_1_0main_GenDerivOutput_List
-                                                                          GHC.Generics.Par1
-                                                                        GHC.Generics.:*: GHC.Generics.S1
-                                                                                           GenDerivOutput.S1_1_1main_GenDerivOutput_List
-                                                                                           (GHC.Generics.Rec1
-                                                                                              GenDerivOutput.List)))
-    type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
-                                                      GenDerivOutput.D1_main_GenDerivOutput_Rose
-                                                      (GHC.Generics.C1
-                                                         GenDerivOutput.C1_0main_GenDerivOutput_Rose
-                                                         GHC.Generics.U1
-                                                       GHC.Generics.:+: GHC.Generics.C1
-                                                                          GenDerivOutput.C1_1main_GenDerivOutput_Rose
-                                                                          (GHC.Generics.S1
-                                                                             GHC.Generics.NoSelector
-                                                                             (GHC.Generics.Rec0 a)
-                                                                           GHC.Generics.:*: GHC.Generics.S1
-                                                                                              GHC.Generics.NoSelector
-                                                                                              (GHC.Generics.Rec0
-                                                                                                 (GenDerivOutput.List
-                                                                                                    (GenDerivOutput.Rose
-                                                                                                       a)))))
-    type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
-                                                   GenDerivOutput.D1_main_GenDerivOutput_Rose
-                                                   (GHC.Generics.C1
-                                                      GenDerivOutput.C1_0main_GenDerivOutput_Rose
-                                                      GHC.Generics.U1
-                                                    GHC.Generics.:+: GHC.Generics.C1
-                                                                       GenDerivOutput.C1_1main_GenDerivOutput_Rose
-                                                                       (GHC.Generics.S1
-                                                                          GHC.Generics.NoSelector
-                                                                          GHC.Generics.Par1
-                                                                        GHC.Generics.:*: GHC.Generics.S1
-                                                                                           GHC.Generics.NoSelector
-                                                                                           (GenDerivOutput.List
-                                                                                            GHC.Generics.:.: GHC.Generics.Rec1
-                                                                                                               GenDerivOutput.Rose)))
 
 
+GHC.Generics representation types:
+  type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
+                                                    ('GHC.Generics.MetaData
+                                                       "List"
+                                                       "GenDerivOutput"
+                                                       "main"
+                                                       'GHC.Types.False)
+                                                    (GHC.Generics.C1
+                                                       ('GHC.Generics.MetaCons
+                                                          "Nil"
+                                                          'GHC.Generics.PrefixI
+                                                          'GHC.Types.False)
+                                                       GHC.Generics.U1
+                                                     GHC.Generics.:+: GHC.Generics.C1
+                                                                        ('GHC.Generics.MetaCons
+                                                                           "Cons"
+                                                                           'GHC.Generics.PrefixI
+                                                                           'GHC.Types.True)
+                                                                        (GHC.Generics.S1
+                                                                           ('GHC.Generics.MetaSel
+                                                                              "element")
+                                                                           (GHC.Generics.Rec0 a)
+                                                                         GHC.Generics.:*: GHC.Generics.S1
+                                                                                            ('GHC.Generics.MetaSel
+                                                                                               "rest")
+                                                                                            (GHC.Generics.Rec0
+                                                                                               (GenDerivOutput.List
+                                                                                                  a))))
+  type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
+                                                 ('GHC.Generics.MetaData
+                                                    "List" "GenDerivOutput" "main" 'GHC.Types.False)
+                                                 (GHC.Generics.C1
+                                                    ('GHC.Generics.MetaCons
+                                                       "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                    GHC.Generics.U1
+                                                  GHC.Generics.:+: GHC.Generics.C1
+                                                                     ('GHC.Generics.MetaCons
+                                                                        "Cons"
+                                                                        'GHC.Generics.PrefixI
+                                                                        'GHC.Types.True)
+                                                                     (GHC.Generics.S1
+                                                                        ('GHC.Generics.MetaSel
+                                                                           "element")
+                                                                        GHC.Generics.Par1
+                                                                      GHC.Generics.:*: GHC.Generics.S1
+                                                                                         ('GHC.Generics.MetaSel
+                                                                                            "rest")
+                                                                                         (GHC.Generics.Rec1
+                                                                                            GenDerivOutput.List)))
+  type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
+                                                    ('GHC.Generics.MetaData
+                                                       "Rose"
+                                                       "GenDerivOutput"
+                                                       "main"
+                                                       'GHC.Types.False)
+                                                    (GHC.Generics.C1
+                                                       ('GHC.Generics.MetaCons
+                                                          "Empty"
+                                                          'GHC.Generics.PrefixI
+                                                          'GHC.Types.False)
+                                                       GHC.Generics.U1
+                                                     GHC.Generics.:+: GHC.Generics.C1
+                                                                        ('GHC.Generics.MetaCons
+                                                                           "Rose"
+                                                                           'GHC.Generics.PrefixI
+                                                                           'GHC.Types.False)
+                                                                        (GHC.Generics.S1
+                                                                           'GHC.Generics.MetaNoSel
+                                                                           (GHC.Generics.Rec0 a)
+                                                                         GHC.Generics.:*: GHC.Generics.S1
+                                                                                            'GHC.Generics.MetaNoSel
+                                                                                            (GHC.Generics.Rec0
+                                                                                               (GenDerivOutput.List
+                                                                                                  (GenDerivOutput.Rose
+                                                                                                     a)))))
+  type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
+                                                 ('GHC.Generics.MetaData
+                                                    "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
+                                                 (GHC.Generics.C1
+                                                    ('GHC.Generics.MetaCons
+                                                       "Empty"
+                                                       'GHC.Generics.PrefixI
+                                                       'GHC.Types.False)
+                                                    GHC.Generics.U1
+                                                  GHC.Generics.:+: GHC.Generics.C1
+                                                                     ('GHC.Generics.MetaCons
+                                                                        "Rose"
+                                                                        'GHC.Generics.PrefixI
+                                                                        'GHC.Types.False)
+                                                                     (GHC.Generics.S1
+                                                                        'GHC.Generics.MetaNoSel
+                                                                        GHC.Generics.Par1
+                                                                      GHC.Generics.:*: GHC.Generics.S1
+                                                                                         'GHC.Generics.MetaNoSel
+                                                                                         (GenDerivOutput.List
+                                                                                          GHC.Generics.:.: GHC.Generics.Rec1
+                                                                                                             GenDerivOutput.Rose)))
diff --git a/testsuite/tests/generics/GenDerivOutput1_0.stderr b/testsuite/tests/generics/GenDerivOutput1_0.stderr
index 9b187f53ce..0757b128ca 100644
--- a/testsuite/tests/generics/GenDerivOutput1_0.stderr
+++ b/testsuite/tests/generics/GenDerivOutput1_0.stderr
@@ -20,53 +20,33 @@ Derived instances:
                                                                              (GHC.Generics.M1 g2)))))
       = GenDerivOutput1_0.Cons
           (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
-  instance GHC.Generics.Datatype
-             GenDerivOutput1_0.D1_main_GenDerivOutput1_0_List where
-    GHC.Generics.datatypeName _ = "List"
-    GHC.Generics.moduleName _ = "GenDerivOutput1_0"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput1_0.C1_0main_GenDerivOutput1_0_List where
-    GHC.Generics.conName _ = "Nil"
-  
-  instance GHC.Generics.Constructor
-             GenDerivOutput1_0.C1_1main_GenDerivOutput1_0_List where
-    GHC.Generics.conName _ = "Cons"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             GenDerivOutput1_0.S1_1_0main_GenDerivOutput1_0_List where
-    GHC.Generics.selName _ = "element"
-  
-  instance GHC.Generics.Selector
-             GenDerivOutput1_0.S1_1_1main_GenDerivOutput1_0_List where
-    GHC.Generics.selName _ = "rest"
-  
 
-Generic representation:
-  
-  Generated datatypes for meta-information:
-    GenDerivOutput1_0.D1_main_GenDerivOutput1_0_List
-    GenDerivOutput1_0.C1_0main_GenDerivOutput1_0_List
-    GenDerivOutput1_0.C1_1main_GenDerivOutput1_0_List
-    GenDerivOutput1_0.S1_1_0main_GenDerivOutput1_0_List
-    GenDerivOutput1_0.S1_1_1main_GenDerivOutput1_0_List
-  
-  Representation types:
+
+GHC.Generics representation types:
     type GHC.Generics.Rep1 GenDerivOutput1_0.List = GHC.Generics.D1
-                                                      GenDerivOutput1_0.D1_main_GenDerivOutput1_0_List
+                                                    ('GHC.Generics.MetaData
+                                                       "List"
+                                                       "GenDerivOutput1_0"
+                                                       "main"
+                                                       'GHC.Types.False)
                                                       (GHC.Generics.C1
-                                                         GenDerivOutput1_0.C1_0main_GenDerivOutput1_0_List
-                                                         GHC.Generics.U1
+                                                       ('GHC.Generics.MetaCons
+                                                          "Nil"
+                                                          'GHC.Generics.PrefixI
+                                                          'GHC.Types.False)
+                                                       GHC.Generics.U1
                                                        GHC.Generics.:+: GHC.Generics.C1
-                                                                          GenDerivOutput1_0.C1_1main_GenDerivOutput1_0_List
+                                                                        ('GHC.Generics.MetaCons
+                                                                           "Cons"
+                                                                           'GHC.Generics.PrefixI
+                                                                           'GHC.Types.True)
                                                                           (GHC.Generics.S1
-                                                                             GenDerivOutput1_0.S1_1_0main_GenDerivOutput1_0_List
+                                                                           ('GHC.Generics.MetaSel
+                                                                              "element")
                                                                              GHC.Generics.Par1
                                                                            GHC.Generics.:*: GHC.Generics.S1
-                                                                                              GenDerivOutput1_0.S1_1_1main_GenDerivOutput1_0_List
+                                                                                            ('GHC.Generics.MetaSel
+                                                                                               "rest")
                                                                                               (GHC.Generics.Rec1
                                                                                                  GenDerivOutput1_0.List)))
 
diff --git a/testsuite/tests/generics/GenDerivOutput1_1.stderr b/testsuite/tests/generics/GenDerivOutput1_1.stderr
index dc05cc4568..736637f6c2 100644
--- a/testsuite/tests/generics/GenDerivOutput1_1.stderr
+++ b/testsuite/tests/generics/GenDerivOutput1_1.stderr
@@ -19,7 +19,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
                                                                              (GHC.Generics.M1 g2)))))
       = CanDoRep1_1.D1d (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
+
   instance GHC.Generics.Generic (CanDoRep1_1.Dd a) where
     GHC.Generics.from CanDoRep1_1.D0d
       = GHC.Generics.M1
@@ -38,7 +38,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = CanDoRep1_1.D1d g1 g2
-  
+
   instance GHC.Generics.Generic (CanDoRep1_1.Dc a) where
     GHC.Generics.from CanDoRep1_1.D0c
       = GHC.Generics.M1
@@ -57,7 +57,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = CanDoRep1_1.D1c g1 g2
-  
+
   instance GHC.Generics.Generic1 CanDoRep1_1.Db where
     GHC.Generics.from1 CanDoRep1_1.D0b
       = GHC.Generics.M1
@@ -76,7 +76,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
                                                                              (GHC.Generics.M1 g2)))))
       = CanDoRep1_1.D1b (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
+
   instance GHC.Generics.Generic (CanDoRep1_1.Da a) where
     GHC.Generics.from CanDoRep1_1.D0
       = GHC.Generics.M1
@@ -95,7 +95,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = CanDoRep1_1.D1 g1 g2
-  
+
   instance GHC.Generics.Generic1 CanDoRep1_1.Da where
     GHC.Generics.from1 CanDoRep1_1.D0
       = GHC.Generics.M1
@@ -114,7 +114,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
                                                                              (GHC.Generics.M1 g2)))))
       = CanDoRep1_1.D1 (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
+
   instance GHC.Generics.Generic (CanDoRep1_1.Db a) where
     GHC.Generics.from CanDoRep1_1.D0b
       = GHC.Generics.M1
@@ -133,7 +133,7 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
                                                                              (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
       = CanDoRep1_1.D1b g1 g2
-  
+
   instance GHC.Generics.Generic1 CanDoRep1_1.Dc where
     GHC.Generics.from1 CanDoRep1_1.D0c
       = GHC.Generics.M1
@@ -152,235 +152,171 @@ Derived instances:
       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
                                                                              (GHC.Generics.M1 g2)))))
       = CanDoRep1_1.D1c (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-  
-  instance GHC.Generics.Datatype
-             CanDoRep1_1.D1_main_CanDoRep1_1_Da where
-    GHC.Generics.datatypeName _ = "Da"
-    GHC.Generics.moduleName _ = "CanDoRep1_1"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_0main_CanDoRep1_1_Da where
-    GHC.Generics.conName _ = "D0"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_1main_CanDoRep1_1_Da where
-    GHC.Generics.conName _ = "D1"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_0main_CanDoRep1_1_Da where
-    GHC.Generics.selName _ = "d11a"
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_1main_CanDoRep1_1_Da where
-    GHC.Generics.selName _ = "d12a"
-  
-  instance GHC.Generics.Datatype
-             CanDoRep1_1.D1_main_CanDoRep1_1_Db where
-    GHC.Generics.datatypeName _ = "Db"
-    GHC.Generics.moduleName _ = "CanDoRep1_1"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_0main_CanDoRep1_1_Db where
-    GHC.Generics.conName _ = "D0b"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_1main_CanDoRep1_1_Db where
-    GHC.Generics.conName _ = "D1b"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_0main_CanDoRep1_1_Db where
-    GHC.Generics.selName _ = "d11b"
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_1main_CanDoRep1_1_Db where
-    GHC.Generics.selName _ = "d12b"
-  
-  instance GHC.Generics.Datatype
-             CanDoRep1_1.D1_main_CanDoRep1_1_Dc where
-    GHC.Generics.datatypeName _ = "Dc"
-    GHC.Generics.moduleName _ = "CanDoRep1_1"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_0main_CanDoRep1_1_Dc where
-    GHC.Generics.conName _ = "D0c"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_1main_CanDoRep1_1_Dc where
-    GHC.Generics.conName _ = "D1c"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dc where
-    GHC.Generics.selName _ = "d11c"
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dc where
-    GHC.Generics.selName _ = "d12c"
-  
-  instance GHC.Generics.Datatype
-             CanDoRep1_1.D1_main_CanDoRep1_1_Dd where
-    GHC.Generics.datatypeName _ = "Dd"
-    GHC.Generics.moduleName _ = "CanDoRep1_1"
-    GHC.Generics.packageName _ = "main"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_0main_CanDoRep1_1_Dd where
-    GHC.Generics.conName _ = "D0d"
-  
-  instance GHC.Generics.Constructor
-             CanDoRep1_1.C1_1main_CanDoRep1_1_Dd where
-    GHC.Generics.conName _ = "D1d"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dd where
-    GHC.Generics.selName _ = "d11d"
-  
-  instance GHC.Generics.Selector
-             CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dd where
-    GHC.Generics.selName _ = "d12d"
-  
 
-Generic representation:
-  
-  Generated datatypes for meta-information:
-    CanDoRep1_1.D1_main_CanDoRep1_1_Da
-    CanDoRep1_1.C1_0main_CanDoRep1_1_Da
-    CanDoRep1_1.C1_1main_CanDoRep1_1_Da
-    CanDoRep1_1.S1_1_0main_CanDoRep1_1_Da
-    CanDoRep1_1.S1_1_1main_CanDoRep1_1_Da
-    CanDoRep1_1.D1_main_CanDoRep1_1_Db
-    CanDoRep1_1.C1_0main_CanDoRep1_1_Db
-    CanDoRep1_1.C1_1main_CanDoRep1_1_Db
-    CanDoRep1_1.S1_1_0main_CanDoRep1_1_Db
-    CanDoRep1_1.S1_1_1main_CanDoRep1_1_Db
-    CanDoRep1_1.D1_main_CanDoRep1_1_Dc
-    CanDoRep1_1.C1_0main_CanDoRep1_1_Dc
-    CanDoRep1_1.C1_1main_CanDoRep1_1_Dc
-    CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dc
-    CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dc
-    CanDoRep1_1.D1_main_CanDoRep1_1_Dd
-    CanDoRep1_1.C1_0main_CanDoRep1_1_Dd
-    CanDoRep1_1.C1_1main_CanDoRep1_1_Dd
-    CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dd
-    CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dd
-  
-  Representation types:
+
+GHC.Generics representation types:
     type GHC.Generics.Rep1 CanDoRep1_1.Dd = GHC.Generics.D1
-                                              CanDoRep1_1.D1_main_CanDoRep1_1_Dd
-                                              (GHC.Generics.C1
-                                                 CanDoRep1_1.C1_0main_CanDoRep1_1_Dd GHC.Generics.U1
-                                               GHC.Generics.:+: GHC.Generics.C1
-                                                                  CanDoRep1_1.C1_1main_CanDoRep1_1_Dd
+                                            ('GHC.Generics.MetaData
+                                               "Dd" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                            (GHC.Generics.C1
+                                               ('GHC.Generics.MetaCons
+                                                  "D0d" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                               GHC.Generics.U1
+                                             GHC.Generics.:+: GHC.Generics.C1
+                                                                ('GHC.Generics.MetaCons
+                                                                   "D1d"
+                                                                   'GHC.Generics.PrefixI
+                                                                   'GHC.Types.True)
                                                                   (GHC.Generics.S1
-                                                                     CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dd
+                                                                   ('GHC.Generics.MetaSel "d11d")
                                                                      GHC.Generics.Par1
                                                                    GHC.Generics.:*: GHC.Generics.S1
-                                                                                      CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dd
+                                                                                    ('GHC.Generics.MetaSel
+                                                                                       "d12d")
                                                                                       (GHC.Generics.Rec1
                                                                                          CanDoRep1_1.Dd)))
     type GHC.Generics.Rep (CanDoRep1_1.Dd a) = GHC.Generics.D1
-                                                 CanDoRep1_1.D1_main_CanDoRep1_1_Dd
-                                                 (GHC.Generics.C1
-                                                    CanDoRep1_1.C1_0main_CanDoRep1_1_Dd
-                                                    GHC.Generics.U1
-                                                  GHC.Generics.:+: GHC.Generics.C1
-                                                                     CanDoRep1_1.C1_1main_CanDoRep1_1_Dd
+                                               ('GHC.Generics.MetaData
+                                                  "Dd" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                               (GHC.Generics.C1
+                                                  ('GHC.Generics.MetaCons
+                                                     "D0d" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                  GHC.Generics.U1
+                                                GHC.Generics.:+: GHC.Generics.C1
+                                                                   ('GHC.Generics.MetaCons
+                                                                      "D1d"
+                                                                      'GHC.Generics.PrefixI
+                                                                      'GHC.Types.True)
                                                                      (GHC.Generics.S1
-                                                                        CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dd
+                                                                      ('GHC.Generics.MetaSel "d11d")
                                                                         (GHC.Generics.Rec0 a)
                                                                       GHC.Generics.:*: GHC.Generics.S1
-                                                                                         CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dd
+                                                                                       ('GHC.Generics.MetaSel
+                                                                                          "d12d")
                                                                                          (GHC.Generics.Rec0
                                                                                             (CanDoRep1_1.Dd
                                                                                                a))))
     type GHC.Generics.Rep (CanDoRep1_1.Dc a) = GHC.Generics.D1
-                                                 CanDoRep1_1.D1_main_CanDoRep1_1_Dc
-                                                 (GHC.Generics.C1
-                                                    CanDoRep1_1.C1_0main_CanDoRep1_1_Dc
-                                                    GHC.Generics.U1
-                                                  GHC.Generics.:+: GHC.Generics.C1
-                                                                     CanDoRep1_1.C1_1main_CanDoRep1_1_Dc
+                                               ('GHC.Generics.MetaData
+                                                  "Dc" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                               (GHC.Generics.C1
+                                                  ('GHC.Generics.MetaCons
+                                                     "D0c" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                  GHC.Generics.U1
+                                                GHC.Generics.:+: GHC.Generics.C1
+                                                                   ('GHC.Generics.MetaCons
+                                                                      "D1c"
+                                                                      'GHC.Generics.PrefixI
+                                                                      'GHC.Types.True)
                                                                      (GHC.Generics.S1
-                                                                        CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dc
+                                                                      ('GHC.Generics.MetaSel "d11c")
                                                                         (GHC.Generics.Rec0 a)
                                                                       GHC.Generics.:*: GHC.Generics.S1
-                                                                                         CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dc
+                                                                                       ('GHC.Generics.MetaSel
+                                                                                          "d12c")
                                                                                          (GHC.Generics.Rec0
                                                                                             (CanDoRep1_1.Dc
                                                                                                a))))
     type GHC.Generics.Rep1 CanDoRep1_1.Db = GHC.Generics.D1
-                                              CanDoRep1_1.D1_main_CanDoRep1_1_Db
-                                              (GHC.Generics.C1
-                                                 CanDoRep1_1.C1_0main_CanDoRep1_1_Db GHC.Generics.U1
-                                               GHC.Generics.:+: GHC.Generics.C1
-                                                                  CanDoRep1_1.C1_1main_CanDoRep1_1_Db
+                                            ('GHC.Generics.MetaData
+                                               "Db" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                            (GHC.Generics.C1
+                                               ('GHC.Generics.MetaCons
+                                                  "D0b" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                               GHC.Generics.U1
+                                             GHC.Generics.:+: GHC.Generics.C1
+                                                                ('GHC.Generics.MetaCons
+                                                                   "D1b"
+                                                                   'GHC.Generics.PrefixI
+                                                                   'GHC.Types.True)
                                                                   (GHC.Generics.S1
-                                                                     CanDoRep1_1.S1_1_0main_CanDoRep1_1_Db
+                                                                   ('GHC.Generics.MetaSel "d11b")
                                                                      GHC.Generics.Par1
                                                                    GHC.Generics.:*: GHC.Generics.S1
-                                                                                      CanDoRep1_1.S1_1_1main_CanDoRep1_1_Db
+                                                                                    ('GHC.Generics.MetaSel
+                                                                                       "d12b")
                                                                                       (GHC.Generics.Rec1
                                                                                          CanDoRep1_1.Db)))
     type GHC.Generics.Rep (CanDoRep1_1.Da a) = GHC.Generics.D1
-                                                 CanDoRep1_1.D1_main_CanDoRep1_1_Da
-                                                 (GHC.Generics.C1
-                                                    CanDoRep1_1.C1_0main_CanDoRep1_1_Da
-                                                    GHC.Generics.U1
-                                                  GHC.Generics.:+: GHC.Generics.C1
-                                                                     CanDoRep1_1.C1_1main_CanDoRep1_1_Da
+                                               ('GHC.Generics.MetaData
+                                                  "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                               (GHC.Generics.C1
+                                                  ('GHC.Generics.MetaCons
+                                                     "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                  GHC.Generics.U1
+                                                GHC.Generics.:+: GHC.Generics.C1
+                                                                   ('GHC.Generics.MetaCons
+                                                                      "D1"
+                                                                      'GHC.Generics.PrefixI
+                                                                      'GHC.Types.True)
                                                                      (GHC.Generics.S1
-                                                                        CanDoRep1_1.S1_1_0main_CanDoRep1_1_Da
+                                                                      ('GHC.Generics.MetaSel "d11a")
                                                                         (GHC.Generics.Rec0 a)
                                                                       GHC.Generics.:*: GHC.Generics.S1
-                                                                                         CanDoRep1_1.S1_1_1main_CanDoRep1_1_Da
+                                                                                       ('GHC.Generics.MetaSel
+                                                                                          "d12a")
                                                                                          (GHC.Generics.Rec0
                                                                                             (CanDoRep1_1.Da
                                                                                                a))))
     type GHC.Generics.Rep1 CanDoRep1_1.Da = GHC.Generics.D1
-                                              CanDoRep1_1.D1_main_CanDoRep1_1_Da
-                                              (GHC.Generics.C1
-                                                 CanDoRep1_1.C1_0main_CanDoRep1_1_Da GHC.Generics.U1
-                                               GHC.Generics.:+: GHC.Generics.C1
-                                                                  CanDoRep1_1.C1_1main_CanDoRep1_1_Da
+                                            ('GHC.Generics.MetaData
+                                               "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                            (GHC.Generics.C1
+                                               ('GHC.Generics.MetaCons
+                                                  "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                               GHC.Generics.U1
+                                             GHC.Generics.:+: GHC.Generics.C1
+                                                                ('GHC.Generics.MetaCons
+                                                                   "D1"
+                                                                   'GHC.Generics.PrefixI
+                                                                   'GHC.Types.True)
                                                                   (GHC.Generics.S1
-                                                                     CanDoRep1_1.S1_1_0main_CanDoRep1_1_Da
+                                                                   ('GHC.Generics.MetaSel "d11a")
                                                                      GHC.Generics.Par1
                                                                    GHC.Generics.:*: GHC.Generics.S1
-                                                                                      CanDoRep1_1.S1_1_1main_CanDoRep1_1_Da
+                                                                                    ('GHC.Generics.MetaSel
+                                                                                       "d12a")
                                                                                       (GHC.Generics.Rec1
                                                                                          CanDoRep1_1.Da)))
     type GHC.Generics.Rep (CanDoRep1_1.Db a) = GHC.Generics.D1
-                                                 CanDoRep1_1.D1_main_CanDoRep1_1_Db
-                                                 (GHC.Generics.C1
-                                                    CanDoRep1_1.C1_0main_CanDoRep1_1_Db
-                                                    GHC.Generics.U1
-                                                  GHC.Generics.:+: GHC.Generics.C1
-                                                                     CanDoRep1_1.C1_1main_CanDoRep1_1_Db
+                                               ('GHC.Generics.MetaData
+                                                  "Db" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                               (GHC.Generics.C1
+                                                  ('GHC.Generics.MetaCons
+                                                     "D0b" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                  GHC.Generics.U1
+                                                GHC.Generics.:+: GHC.Generics.C1
+                                                                   ('GHC.Generics.MetaCons
+                                                                      "D1b"
+                                                                      'GHC.Generics.PrefixI
+                                                                      'GHC.Types.True)
                                                                      (GHC.Generics.S1
-                                                                        CanDoRep1_1.S1_1_0main_CanDoRep1_1_Db
+                                                                      ('GHC.Generics.MetaSel "d11b")
                                                                         (GHC.Generics.Rec0 a)
                                                                       GHC.Generics.:*: GHC.Generics.S1
-                                                                                         CanDoRep1_1.S1_1_1main_CanDoRep1_1_Db
+                                                                                       ('GHC.Generics.MetaSel
+                                                                                          "d12b")
                                                                                          (GHC.Generics.Rec0
                                                                                             (CanDoRep1_1.Db
                                                                                                a))))
     type GHC.Generics.Rep1 CanDoRep1_1.Dc = GHC.Generics.D1
-                                              CanDoRep1_1.D1_main_CanDoRep1_1_Dc
-                                              (GHC.Generics.C1
-                                                 CanDoRep1_1.C1_0main_CanDoRep1_1_Dc GHC.Generics.U1
-                                               GHC.Generics.:+: GHC.Generics.C1
-                                                                  CanDoRep1_1.C1_1main_CanDoRep1_1_Dc
+                                            ('GHC.Generics.MetaData
+                                               "Dc" "CanDoRep1_1" "main" 'GHC.Types.False)
+                                            (GHC.Generics.C1
+                                               ('GHC.Generics.MetaCons
+                                                  "D0c" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                               GHC.Generics.U1
+                                             GHC.Generics.:+: GHC.Generics.C1
+                                                                ('GHC.Generics.MetaCons
+                                                                   "D1c"
+                                                                   'GHC.Generics.PrefixI
+                                                                   'GHC.Types.True)
                                                                   (GHC.Generics.S1
-                                                                     CanDoRep1_1.S1_1_0main_CanDoRep1_1_Dc
+                                                                   ('GHC.Generics.MetaSel "d11c")
                                                                      GHC.Generics.Par1
                                                                    GHC.Generics.:*: GHC.Generics.S1
-                                                                                      CanDoRep1_1.S1_1_1main_CanDoRep1_1_Dc
+                                                                                    ('GHC.Generics.MetaSel
+                                                                                       "d12c")
                                                                                       (GHC.Generics.Rec1
                                                                                          CanDoRep1_1.Dc)))