Issue676.agda:23,9-13
unsillify (fail x) != true of type Bool
when checking that the expression refl has type
unsillify (fail x) ≡ true