Agda-2.3.2.2: test/Common/Issue481ParametrizedModule.agda
module Common.Issue481ParametrizedModule (A : Set1) where id : A → A id x = x postulate Bla : Set
module Common.Issue481ParametrizedModule (A : Set1) where id : A → A id x = x postulate Bla : Set