Issue551.err

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