leftT

EitherTFAOps

leftTF

EitherTAOps