errval :: (a -> b) -> (String -> b) -> (ErrVal a) -> b
errval fa fe (EValue a) = fa a
errval :: (a -> b) -> (String -> b) -> (ErrVal a) -> b
errval fa fe (EValue a) = fa a
errval fa fe (EValue a) = fa a