HelVM.HelMA.Automata.Piet.MonadFailExtra
eitherToMonadFail :: (Show a, MonadFail m) => Either a b -> m b #