The contents of this module appear blank because it contains only class instances.
AlloyARoute class instances have nearly identical definitions
for any given type, and running
AlloyARoute and ignoring the route has
the same behaviour as the
AlloyA class. Therefore, it is possible to define
AlloyA instance in terms of
AlloyARoute. That is what this module does.
To use this module, you should generate only
AlloyARoute instances with the
Data.Generics.Alloy.GenInstances module, and import this module. If you
import this alongside any other
AlloyA instances you'll have incoherent