module MisformedTypeSignature where

postulate A : Set

(f g) : A