Issue551.agda:30,17-25 No variable of type PackBool was found in scope. when checking that the expression implicit has type PackBool