module A where

postulate A : Set