First maps a path to its first element if there is one, and to Fail otherwise.
First: <> == Fail:<'First'> <$x> == $x. First:<a b c> = a.