%* | Data.Type.Natural |
%** | Data.Type.Natural |
%+ | Data.Type.Natural |
%- | Data.Type.Natural |
%:* | Data.Type.Natural |
%:** | Data.Type.Natural |
%:+ | Data.Type.Natural |
%:- | Data.Type.Natural |
%:-. | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
%* | Data.Type.Natural |
%** | Data.Type.Natural |
%+ | Data.Type.Natural |
%- | Data.Type.Natural |
%:* | Data.Type.Natural |
%:** | Data.Type.Natural |
%:+ | Data.Type.Natural |
%:- | Data.Type.Natural |
%:-. | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |