{-#
OPTIONS
--warning
ShadowingInTelescope
#-}
postulate
_
:
(
A
A
:
Set
)
→
Set