Re: Add instance MonadFail (f :*: g)