<div dir="auto">instance (MonadFail f, MonadFail g) => MonadFail (f :*: g) where<div dir="auto">    fail s = fail s :*: fail s</div></div>