DataInfo is requested to get dataEffect in kind inference, to make a handled effect type with the correct linearity / named information.
However, for recursive effect type declarations we don't have the dataInfo yet for the type in the definition since we are in the process of inferring it. So we need to add the dataEffects for the mutually recursive type definition group prior to inferring them. This makes that change.
Fixes #483
DataInfo is requested to get dataEffect in kind inference, to make a handled effect type with the correct linearity / named information.
However, for recursive effect type declarations we don't have the dataInfo yet for the type in the definition since we are in the process of inferring it. So we need to add the dataEffects for the mutually recursive type definition group prior to inferring them. This makes that change.