{-# OPTIONS -v5 #-}

module Debug where

postulate Foo : Set