id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
13	Type checker infers Lattice (m LatConstraint) as well as Monad m	dom	dom	"Although there is an instance defined for ""lifted"" constraints (""lifted"" so that you can get errors as well as constraints), the intention was only to use the ""lifted"" form as a monad.
{{{
lToPer :: (L.Lattice (m L.MyLatConstraint), MonadError [Char] m) => ASNBuiltin a -> a -> [ESS a] -> m BP.BitPut
}}}
We need to track down where the type checker is inferring Lattice and check that this is meaningful and what we intended."	defect	new	major		component1