Making implicit parameters explicit

[Tomasz Zielonka]

On Thu, Nov 06, 2003 at 10:02:26PM +0100, Tomasz Zielonka wrote:
> > GHC complains with:
> > 
> >     Unbound implicit parameter (?req :: Request)
> >       arising from use of `controller1'
> >     In the list element: controller1
> >     In the definition of `controllerList':
> >         controllerList = [controller1, controller2]
> 
> You have just been bitten by monomorphism restriction. Write a type
> signature for controllerList and it should work:
> 
> controllerList :: (?req :: Request) => [String]

Maybe in such situation GHC could suggest that the problem can be caused
by monomorphism restriction ?

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links