Scala's for-yield doesn't work for Monad with high Generic about scalaz HOT 3 CLOSED

newtype Req = Req String deriving Show              
data Res a = SkipRes | NonRes | SomeRes [a] deriving Show 

instance Monoid (Res a) where
    mempty = NonRes
    SkipRes `mappend` _ = SkipRes
    _ `mappend` SkipRes = SkipRes
    NonRes `mappend` NonRes = NonRes
    NonRes `mappend` SomeRes a = SomeRes a
    SomeRes a `mappend` NonRes = SomeRes a
    SomeRes a `mappend` SomeRes b = SomeRes $ a ++ b
    mconcat = foldl1 mappend

instance Semigroup (Res a) where
    (<>) = mappend

newtype AbstractAction a = AbstractAction {runAbstractAction :: Req -> (a, Req)}

instance Monad AbstractAction where
    return a = AbstractAction $ \r -> (a,r)
    m >>= f = AbstractAction $ \r -> 
        let (a,r1) = runAbstractAction m r in
            runAbstractAction (f a) r1

instance Applicative AbstractAction where
    pure = return 
    (<*>) = ap

instance Functor AbstractAction where
    fmap = liftM

type Action a = AbstractAction (Res a)

action :: (Req -> (Res a, Req)) -> Action a
action = AbstractAction

runAction :: Action a -> (Req -> (Res a,Req))
runAction = runAbstractAction

first :: Action String
first = action f
    where 
        f r@(Req []) = (NonRes, Req " with 1 ")
        f r@(Req "skip") = (SkipRes, Req " with 1 ")
        f r@(Req as) = (SomeRes ["not empty req"], Req " with 1 ")

second :: Action String
second = action $ \(Req s) -> 
    let nr = Req $ s ++ " with 2" in
        (SomeRes $ ["get req:" ++ s], nr)

three :: Action String
three = do
    f <- first             -- f: Res String
    s <- second      -- s: Res String
    return $ f <> s  -- works ok,