Re: How to work around GHC bug