Guides have the a particular shape.

The Guide abstraction really should have a shape that looks like:

    (List[(S,Pos[A])], (S,Pos[A])) => RVar[Pos[A]]

This is now an uncurried version of the original function due to inference issues.

Signed-off-by: Gary Pamparà <gpampara@gmail.com>