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