Data.Invertible.Either
switch
isLeft
isRight
lft
rgt
eitherFirst
eitherSecond
pivotEither