diff --git a/src/Data/Term.hs b/src/Data/Term.hs index f1c077763..e460be6e3 100644 --- a/src/Data/Term.hs +++ b/src/Data/Term.hs @@ -84,6 +84,9 @@ instance (Message1 f) => Message (Term f ()) where decodeMessage num = termIn () <$> liftDecodeMessage decodeMessage num dotProto _ = liftDotProto (dotProto @(Term f ())) (Proxy @(f (Term f ()))) +instance Named (Term f ()) where + nameOf _ = "Term" + instance Ord1 f => Ord1 (Term f) where liftCompare comp = go where go t1 t2 = liftCompare2 comp go (unTerm t1) (unTerm t2)