module Issue639 where

postulate A : Set