On Fri, Sep 17, 2010 at 1:48 PM, Ross Paterson <ross@soi.city.ac.uk> wrote:

On Fri, Sep 17, 2010 at 01:18:47PM +0200, Johan Tibell wrote:
> Could you please add an "Open Issues" section where you keep track on any open
> issues/objections raised so far (a short summary is enough), to make sure that
> we deal with them all and to avoid them being rehashed

I've added an "Issues raised" section.

Thanks!

> 2. More complicated type signatures due to using a monad transformer to define
> base monads.

I'm not sure what you mean here: do you mean inferred types?

Right, what GHC spits back at you if you have a type error. I'm not sure if it's an important issue. I believe GHC tries to use the type synonyms in the error messages.

-- Johan