Common

Type aliases

type a :⇀ b

type a :× b

Partial map functions

upd

upd'

(↦)

unionsM