instance (MonadFail f, MonadFail g) => MonadFail (f :*: g) where

fail s = fail s :*: fail s