Make view_ argument accept two arguments
Clarification and motivation
That's pretty inconvenient that while void_
's argument accepts pair (which is good), view_
's one gives us pair. This makes Void <-> View
migrations less pleasant, and requires unnecessary unpair
boilerplate.
Sometimes we just drop the argument of View
, and doing car
is more efficient than unpair; drop
, but this will be resolved by optimizer after #68 (closed).
Acceptance criteria
view
's argument accepts two arguments, not pair.
Edited by Konstantin Ivanov