How to get the “inflexible semantics of monad transformers” using extensible effects?

Question

Consider the following example.

newtype TooBig = TooBig Int deriving Show

choose :: MonadPlus m => [a] -> m a
ch