left(■)
<Void → ℕ>
