| A0 : unit ‑> ('a, 'a) t |
| A1 : 'a ‑> ('a ‑> 'b, 'b) t |
| A2 : 'a * 'b ‑> ('a ‑> 'b ‑> 'c, 'c) t |
| A3 : 'a * 'b * 'c ‑> ('a ‑> 'b ‑> 'c ‑> 'd, 'd) t |
| A4 : 'a * 'b * 'c * 'd ‑> ('a ‑> 'b ‑> 'c ‑> 'd ‑> 'e, 'e) t |
| A5 : 'a * 'b * 'c * 'd * 'e ‑> ('a ‑> 'b ‑> 'c ‑> 'd ‑> 'e ‑> 'f, 'f) t |