@@ -242,6 +242,12 @@ instance Eq TT where
242 equalp (TType u) (TType u') = u == u'
242 equalp (TType u) (TType u') = u == u'
243 equalp x y = False
243 equalp x y = False
245+instance Eq Universe where
246+ Reflection.NullType == Reflection.NullType = True
247+ Reflection.UniqueType == Reflection.UniqueType = True
248+ Reflection.AllTypes == Reflection.AllTypes = True
246forget : TT -> Maybe Raw
252forget : TT -> Maybe Raw
247forget tm = fe [] tm
253forget tm = fe [] tm