Agda-2.3.2.2: test/fail/ModuleArityMismatch.agda

module ModuleArityMismatch where

 module M (A : Set) where

 postulate
   A : Set

 module M′ = M A A