Aliases: Scope
Attribute is a way to point some substructure inside some structure.
Could be unwrapped to a Reference:
Supertype (Attribute s t) ~ Reference s t tIf you want to use an Attribute by a type signature, there is at method:
at :: Attribute structure substructureYou can use some Attribute to zoom in a Transition.