Agda-2.3.2.2: test/fail/Issue390.agda

module Issue390 where

data main : Set where