Playing with Kind signatures.

gistfile1.hs

{-# LANGUAGE KindSignatures #-}

import Control.Monad
import Control.Monad.Trans
import Control.Monad.Trans.Maybe
import Control.Applicative
import Data.Functor.Compose

--newtype Constant a (b:: * -> *) = Constant { getConstant :: a }
newtype Constant a (b:: * -> *) = Constant { getConstant :: a }

newtype Foo m = Foo (m ())

type Glance m o a = o m -> MaybeT m (a m)

type ObserverF m l o = Compose ((->) (o m)) (MaybeT m)

nee :: Glance IO Foo (Constant Int) 
nee = undefined