Agda-2.3.2.2: test/succeed/UnderscoresAsDataParam.agda

module UnderscoresAsDataParam where

data List (A : Set) : Set where
  nil  : List _
  cons : A -> List A -> List _