Precedence: 9
`hv` - [V]oidHow to read: factor an argument via Void object contravariantly.
Useful for function application:
Event `hv` autoAccompanied with he, you can write effect handlers:
State `ha` Event `hv` auto `he'he'hv` _ : Equiped _ _Precedence: 9
`hv` - [V]oidHow to read: factor an argument via Void object contravariantly.
Useful for function application:
Event `hv` autoAccompanied with he, you can write effect handlers:
State `ha` Event `hv` auto `he'he'hv` _ : Equiped _ _