<blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;" class="gmail_quote">On Wed, Jan 13, 2010 at 2:14 PM, Bulat Ziganshin <span dir="ltr"><<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>></span> wrote:<br>
<br>
class Open a where<br>
open :: a<br><br>
instance Open (Int -> String) where ...<br>
instance Open (String -> Int) where ...<br></blockquote>
<br>The problem with this approach is that you'll need to supply type annotations with basically every use of open, which is even more verbose than prepending the type name.<br><br>-Edward Kmett<br>