# Functions
SequencePair is a utility function used to implement the sequence operation for higher kinded types based only on map and ap.
TraversePair is a utility function used to implement the sequence operation for higher kinded types based only on map and ap.