Tests for Monad instance FlipT Either a