Re: [Haskell-cafe] Extensible Effects & Multiple Operations

On Thu, Jul 17, 2014 at 3:32 PM, Tobias Florek <haskell@ibotty.net> wrote:

data OpenFile v = Read (Char -> v) | EOF (Bool -> v) deriving Typeable

That worked! Removing the type variable (`a`) from `OpenFile` did the trick. I was carrying too much type information around for what I wanted to do (e.g., OpenFile Char and OpenFile Bool). Removing that extra piece of info allowed me to write `runOpenFile` just like I wanted. Thanks! Justin