Added example of universe for mutually defined datatypes