Re: [Haskell] Polymorphic types in RHS of type instances

2011-04-04 Thread José Pedro Magalhães
Hi, [Moving to glasgow-haskell-users@haskell.org] I would also like to know the answer to this question. While I can imagine it has something to do with type checking/inference, it is not immediately clear to me where the problem lies. Thanks, Pedro On Sat, Feb 5, 2011 at 12:25, Steven

RE: [Haskell] Polymorphic types in RHS of type instances

2011-04-04 Thread Simon Peyton-Jones
] Polymorphic types in RHS of type instances Hi, [Moving to glasgow-haskell-users@haskell.orgmailto:glasgow-haskell-users@haskell.org] I would also like to know the answer to this question. While I can imagine it has something to do with type checking/inference, it is not immediately clear to me where

Re: [Haskell] Polymorphic types in RHS of type instances

2011-04-04 Thread José Pedro Magalhães
-users-boun...@haskell.org [mailto: glasgow-haskell-users-boun...@haskell.org] *On Behalf Of *José Pedro Magalhães *Sent:* 04 April 2011 10:53 *To:* GHC users *Cc:* Steven Keuchel *Subject:* Re: [Haskell] Polymorphic types in RHS of type instances Hi, [Moving to glasgow-haskell-users