import Nat
open   Nat using (Nat)

module TopLevelImport (n : Nat) where

  it : Nat
  it = n