Hi,<br><br>I don&#39;t think you can do that, since `ext` relies on Typeable and Typeable only works for monomorphic types.<br><br><br>Cheers,<br>Pedro<br><br><div class="gmail_quote">On Wed, Feb 2, 2011 at 20:31, Sugar Bzzz <span dir="ltr">&lt;<a href="mailto:sugarbzzzz@gmail.com">sugarbzzzz@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Dear -cafe,<div><br></div><div>Is it possible to extend a generic reader (extR / ext1R from syb) with a type class?</div>

<div><br></div><div><br></div><div>For example, let</div><div><br></div><div>foo :: (Integral a) =&gt; SomeMonad a</div>
<div><br></div><div>I could write:</div><div><br></div><div>reader = ... `extR` (foo :: SomeMonad Int) `extR` (foo :: SomeMonad Integer)</div><div><br></div><div>However, that is tedious.  Could I do something like</div>

<div>
<br></div><div>reader = ... `extR` foo</div><div><br></div><div>and have it apply to all instances of Integral?</div><div><br></div><div><br></div><div>I hope I am being clear.</div><div><br></div><div>Thank you.</div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>