add Any in ErrorF and MaybeF
Failure is monoid