%* | Data.Type.Natural, Data.Type.Natural.Builtin |
%+ | Data.Type.Natural, Data.Type.Natural.Builtin |
%- | Data.Type.Natural, Data.Type.Natural.Builtin |
%-. | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
%<=? | Data.Type.Natural, Data.Type.Natural.Builtin |
%<? | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
%>=? | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
%>? | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
%^ | Data.Type.Natural, Data.Type.Natural.Builtin |
%~ | Data.Type.Natural, Data.Type.Natural.Builtin |