val (--) : int -> int -> (int, [ `Any ]) t
val (>|=) : ('a, 'card) t -> ('a -> 'b) -> ('b, 'card) t
val (<*>) : ('a -> 'b, 'card) t -> ('a, 'card) t -> ('b, 'card) t
val (>>=) : ('a, _) t -> ('a -> ('b, _) t) -> ('b, [ `Any ]) t
