module Issue217 where

record A : Set where
  ⊥ : Set
  ⊥ = ⊥