Aggregate types side-effect their context