[Haskell-cafe] Partial Signatures with Implicit Parameters

[Alex Rozenshteyn]

I would like to specify that a function takes implicit parameters, without
specifying its full return type.  My main motivation for this is my xmonad
config file and the attempt to remove the need for NoMonomorphismRestriction
and some of the code smell associated with global variables that wafts in
with implicit parameters.

I have read this: http://okmij.org/ftp/Haskell/partial-signatures.lhs and
even somewhat understood it; however, I tried to apply it to my config file
with an implicit parameter in the signature, and I couldn't get it to
compile.

Is there something inherently different about using this approach with
implicit parameters, or am I probably just doing something wrong?

P.S.  I decided to ask this here instead of in the xmonad mailing list
because I feel like this is a question about haskell that was only slightly
inspired by my use of xmonad.

-- 
          Alex R
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100830/470e7913/attachment.html