open import Issue481PonderBase using (List)

module Issue481PonderImportMe (as bs : List) where