A module providing an AlloyA instance in terms of AlloyARoute.

The contents of this module appear blank because it contains only class instances. The AlloyA and 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 a single 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 instances.