[Haskell-cafe] Generalizing "unlift" functions with monad-control

Hiromi ISHII konn.jinro at gmail.com
Tue Mar 31 09:03:21 UTC 2015

P.S. oops, I missed to attach the appropreate language extensions.
You have to specify following  exntensions to get my example works:

{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances   #-}
{-# LANGUAGE MultiParamTypeClasses, RankNTypes, ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies, TypeOperators                            #-}

-- Hiromi ISHII
konn.jinro at gmail.com

More information about the Haskell-Cafe mailing list