(Program (Module (Identifier)) (Function (Empty) (Identifier) ( (Annotation (Identifier) (Constructor (Empty) (Error))))))