L29Ah
24.11.2012 03:32
ТУНЕЛЛИРУЮ ТУНЕЛЛИРУЮ
Правда, волшебный автовывод инстенсов так и не осилил. Пришлось остановиться на таком говне:
class (MonadIO o) => EmbedIO o where
type Content o
callback :: o a → Content o → IO a
-- If the inner monad is IO
data Void
instance EmbedIO IO where
type Content IO = Void
callback action _ ... more →
add comment
