module Issue208 where

record R : Set where
  foo : Set
  foo = {!!}