Add MonadFail constraint for GHC 8.6.1