id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
23	Mask effects on fresh data	anonymous		"In a type like

{{{
 fun :: forall %r1 %r2
     .  Int %r1 -(!e1)> Int %r2
     :- !e1 = Read %r2
}}}

The effect Read %r2 isn't being masked by Type.Scheme because %r2 is
visible in the shape of the type. However, as the data is fresh the fact
that there was a read when constructing it does matter, so it can be masked.

Core.Reconstruct will need to use the closure annotations on XLam nodes to
show that this is ok."	enhancement	new	project		Source Type Inferencer