error.txt

problem.hs:4:4:
    Inferred type is less polymorphic than expected
      Quantified type variable `a' is mentioned in the environment:
        out :: Enumerator Builder IO a (bound at problem.hs:3:4)
    In the first argument of `addToOutput', namely `out'
    In the expression: addToOutput out
    In the expression:
        do { out <- runRequestBody mkOutput;
             addToOutput out }

problem.hs

test :: Snap ()
test = do
    out <- runRequestBody mkOutput
    addToOutput out

mkOutput :: Iteratee ByteString IO (Enumerator Builder IO a)
mkOutput = undefined

-- Functions used from Snap.Types

addToOutput :: MonadSnap m => (forall a . Enumerator Builder IO a) -> m ()

runRequestBody :: MonadSnap m => Iteratee ByteString IO a -> m a