-- Qualified imported constructors
module Issue262 where

open import Common.Prelude

z = Nat.zero