diff --git a/objective.cabal b/objective.cabal
--- a/objective.cabal
+++ b/objective.cabal
@@ -1,5 +1,5 @@
 name:                objective
-version:             0.6
+version:             0.6.1
 synopsis:            Extensible objects
 description:         Stateful effect transducer
 homepage:            https://github.com/fumieval/objective
diff --git a/src/Data/Functor/Request.hs b/src/Data/Functor/Request.hs
--- a/src/Data/Functor/Request.hs
+++ b/src/Data/Functor/Request.hs
@@ -26,9 +26,9 @@
   pure a = Request mempty (const a)
   Request a c <*> Request b d = Request (mappend a b) (c <*> d)
 
-instance Monoid a => Tower (Request a b) where
-  type Floors (Request a b) = (,) a :> (->) b :> Identity :> Empty
-  toLoft = (\(a, b) -> Request a (const b)) ||> Request mempty ||> pure . runIdentity ||> exhaust
+instance Tower (Request a b) where
+  type Floors (Request a b) = Empty
+  toLoft = exhaust
 
 request :: (Elevate (Request a b) f) => a -> f b
 request a = elevate (Request a id)