Re: one bug solved now I am nagged by GHC (without knowing the importance)