Extensible effects: abstracting from the transformerPublished on December 6, 2014 In Type-based lift, we saw a way to lift monadic actions automatically to the right layer of a multilayer monad transformer stack, based only on the types involved. Namely, we defined a closed type family type family Find (t :: (* -> *) -> (* -> *)) (m :: * -> *) :: Nat where Find t (t m) = Zero Find t (p m) = Suc (Find t m) that computes the type-level index of the l
