[Haskell-cafe] Problem with existential type and instance.

Magicloud Magiclouds magicloud.magiclouds at gmail.com
Mon Jul 28 05:46:53 UTC 2014


Hi,

  For code like below, how to make it compilable?

data EventHandlers = forall m. MonadIO m => EventHandlers { onDeleteWindow
:: Maybe (m ()) }
instance Default EventHandlers where
  def = EventHandlers Nothing

-- 
竹密岂妨流水过
山高哪阻野云飞

And for G+, please use magiclouds#gmail.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140728/58b7c135/attachment.html>


More information about the Haskell-Cafe mailing list