DoNotFireLiteralCatchAllForNeutrals.agda:17,13-20 ⊤ !=< NotNull s of type Set when checking that the expression trivial has type NotNull s