@@ -73,6 +73,7 @@ type family Primitive a :: Bool where
73 Primitive Int = 'True
73 Primitive Int = 'True
74 Primitive Char = 'True
74 Primitive Char = 'True
75 Primitive Bool = 'True
75 Primitive Bool = 'True
76+ Primitive Integer = 'True
76 Primitive _ = 'False
77 Primitive _ = 'False
77 -- TODO: more primitives, or perhaps abstract from stop condition
78 -- TODO: more primitives, or perhaps abstract from stop condition