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>