From returns the value associated with the wanted type.

With returns a copy of parent that contains the given value which can be retrieved by calling From with the resulting context.