never executed always true always false

    1 module HelVM.HelMA.Automata.Piet.MonadFailExtra where
    2 
    3 eitherToMonadFail :: (Show a, MonadFail m) => Either a b -> m b
    4 eitherToMonadFail (Right a) = pure a
    5 eitherToMonadFail (Left  a) = fail $ show a