asn1: Ticket #13: Type checker infers Lattice (m LatConstraint) as well as Monad m
http://trac.haskell.org/asn1/ticket/13
<p>
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.
</p>
<pre class="wiki">lToPer :: (L.Lattice (m L.MyLatConstraint), MonadError [Char] m) => ASNBuiltin a -> a -> [ESS a] -> m BP.BitPut
</pre><p>
We need to track down where the type checker is inferring Lattice and check that this is meaningful and what we intended.
</p>
en-usasn1http://trac.haskell.org/asn1/chrome/common/trac_banner.png
http://trac.haskell.org/asn1/ticket/13
Trac 0.11.1