Sergei, try also debug = \ {_ _ _} -> implic prime∣split This is probably the notorious hidden lambda bug.