The contents of this module appear blank because it contains only class instances.
The Alloy and AlloyA class instances have nearly identical definitions
for any given type, and running AlloyA with an identity functor/monad has
the same behaviour as the pure class. Therefore, it is possible to define
a single Alloy instance in terms of AlloyA. That is what this module does.