Agda-2.3.2.2: test/fail/MissingDefinition.agda

module MissingDefinition where

T : Set -> Set