-- Module shadowing using generated modules for records and datatypes module Issue260b where module R where record R : Set where