Agda-2.3.2.2: test/fail/MisformedTypeSignature.agda

module MisformedTypeSignature where

postulate A : Set

(f g) : A