module ShouldBePi where

postulate X : Set