[Haskell-cafe] :i and :t give different types

[Ryan Ingram]

It looks like there is a bug with unparsing of bang-constructors in ghci:

On 2/7/08, Don Stewart <dons at galois.com> wrote:
>    data Stream a = forall s. Unlifted s =>
>                              Stream !(s -> Step a s)  -- ^ a stepper function
>                                     !s                -- ^ an initial state

>    Prelude Data.Stream> :info Stream
>    data Stream a where
>      Stream :: forall a s.
>                (Data.Stream.Unlifted s) =>
>                !s -> Step a s -> !s -> Stream a

This last line should start with !(s -> Step a s) instead of !s -> Step a s.

If that was fixed, everything looks correct.

  -- ryan