Binary serialization.

Rather than define instances of the Binary type class for the many types
in linear, we take advantage of their statically known sizes and
traversability to provide a generic put function and get action that
work for cases when the element type has a Binary instance.