Agda-2.3.2.2: test/succeed/Shadow.agda

-- Shadowing is allowed.
module Shadow where

module M (A : Set) where

  id : Set -> Set
  id A = A