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