Issue481PonderMaster.agda

open import Issue481PonderBase
open import Issue481PonderImportMe as as

module Issue481PonderMaster where

module M = as as as