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,,,,