@@ -103,6 +103,11 @@ Enumerated types can also be generated from a Haskell algbraic data type with nu
103103>>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic
104104>>> instance SOP.Generic Schwarma
105105>>> instance SOP.HasDatatypeInfo Schwarma
106+
107+>>> :kind! EnumFrom Schwarma
108+EnumFrom Schwarma :: PGType
109+= 'PGenum '["Beef", "Lamb", "Chicken"]
110+
106111>>> :{
107112let
108113 definition :: Definition '[] '["schwarma" ::: 'Typedef (EnumFrom Schwarma)]