- type Rep1Maybe = D1 Maybe_ (C1 Nothing_ U1 :+: C1 Just_ Par1)
- type Rep1List = D1 List__ (C1 Nil__ U1 :+: C1 Cons__ (Par1 :*: Rec1 []))
- type Rep0Char = Rec0 Char
- type Rep0Int = Rec0 Int
- type Rep0Float = Rec0 Float
- type Rep0Maybe a = D1 Maybe_ (C1 Nothing_ U1 :+: C1 Just_ (Par0 a))
- type Rep0List a = D1 List__ (C1 Nil__ U1 :+: C1 Cons__ (Par0 a :*: Rec0 [a]))