Agda-2.3.2.2: test/fail/Issue477b.err

Issue477b.agda:4,8-9
Missing type signature for D