module Common.Issue481ParametrizedModule (A : Set1) where id : A → A id x = x postulate Bla : Set