Agda-2.3.2.2: test/epic/tests/Mutual.out

(FA (GA (FA GB)))
(GA (FA (GA (FA (GA FB)))))