module PatternSynonymImports2 where

open import PatternSynonyms
open import PatternSynonymImports

myzero' = z
myzero'' = myzero

list2 : List _
list2 = 1 ∷ []