At 13:22 2000-04-29 +0200, you wrote:
>I tried the following where the idea is to implement a simple monad,
>but one which can only pass and return values that are showable.
>
> newtype Show a => TracingEv a = TE (Int -> IO (Int,a))
> unTE :: Show a => TracingEv a -> Int -> IO (Int,a)
> unTE (T
Sat, 29 Apr 2000 13:22:36 +0200 (MET DST), Tommy Thorn <[EMAIL PROTECTED]> pisze:
> Probable cause: missing `Show a' in type signature for `return'
> Sure there's a missing Show a, but I can't change the signature
> of return and it seems to me that Show a should follow from the
> constrai
Isn't it possible to constrain instances?
I tried the following where the idea is to implement a simple monad,
but one which can only pass and return values that are showable.
newtype Show a => TracingEv a = TE (Int -> IO (Int,a))
unTE :: Show a => TracingEv a -> Int -> IO (Int,a)
unTE (T