where_ (~{hsExpr ctx expr})