module Proof(Proof) where

data Proof a = Falsity

instance Monad Proof where
    return _ = Falsity
    _ >>= _ = Falsity