module Sequoia.Connective.With
( -- * Negative conjunction
  type (&)(..)
  -- * Elimination
, runWith
) where

import Sequoia.Connective.Additive

 * Negative conjunction
 * Elimination
module Sequoia.Connective.With
  type (&)(..)
, runWith
) where

import Sequoia.Connective.Additive
