Issue477.agda:4,6-7
Missing type signature for D