let to_unit x = fun ~var_count -> entity SP.(x ~var_count ^^ string ":> unit")