{-# LANGUAGE DeriveAnyClass #-}
module Concurrent.Exception where

import Control.Exception

data Contradiction = Contradiction deriving (Show,Exception)