sequence package:row-types

Applicative sequencing over a record.
Applicative sequencing over a variant
A version of sequence in which the constraint for Forall can be chosen.