formatting
Option#{map, flatMap, getOrElse, orElse, filter}
variance
map2
Option#sequence
Option#traverse
Either#{map, flatMap, orElse, map2}
Either#{traverse, sequence}
naive validation.