Agda-2.3.2.2: test/succeed/Issue481PonderBase.agda

module Issue481PonderBase where

postulate
  List : Set
  as   : List