Data structures that are used in various places of the library.
(pair fst snd)
(pair-monoid inner-monoid)
A pair monoid type constructor.
(pair? v)