module Issue481Record where

record Issue481Record : Set where