"less polymophic" problem

[Tomasz Zielonka]

On Tue, Apr 29, 2003 at 07:17:41PM -0700, Seth Kurtzberg wrote:
> Hello list,

> getaline :: forall s. ST s (STRef s [[Char]]) -> [[Char]]

Try

  getaline :: (forall s. ST s (STRef s [[Char]])) -> [[Char]]

This way you will use local universal quantification.
The signature you gave is simply equivalent to

  getaline :: ST s (STRef s [[Char]]) -> [[Char]]

> -- which does not change the error.  The type in the signature for
> -- rlines is that displayed by ghci for tl3

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links