Documentation

A vector is described by a Direction and a magnitude. So we
can think of a Direction as a vector that has forgotten its
magnitude. Directions can be used with fromDirection and the
lenses provided by its instances.