uncancelable
EitherTSync
KleisliSync
OptionTSync
StateTSync
WriterTSync