Aggregate types containing only stateelements is itself state. Not too sure though...