rescue-0.4.0: library/Control/Monad/Rescue/Constraint.hs

{-# LANGUAGE ConstraintKinds #-}

module Control.Monad.Rescue.Constraint (CheckErrors) where

import           Control.Monad.Raise.Class
import           Data.WorldPeace

type CheckErrors m = Contains (Errors m) (Errors m)