Issue2758.agda:16,15-18
Cannot instantiate the metavariable _10 to solution .(true) since
(part of) the solution was created in an irrelevant context.
when checking that the expression c _ has type Box Bool b
