1-I.Api
type 'a label
= 'a label
type 'm t
=
{
find : a. 'a label ‑> 'm ‑> 'a;
bind : a. 'a label ‑> 'a ‑> 'm ‑> 'm;
}