HookMonad. but it's not satisfy Monad Law

HookMonad.hs

data HookMonad a = Hook (a -> a) a

instance Monad HookMonad where
        return         = Hook id
        Hook h x >>= f = f . h $ x


nonMinusPoint = Hook (\x -> if x < 0 then 0 else x)

getValue (Hook f x) = f x

add :: Integer -> Integer -> HookMonad Integer
add n m = nonMinusPoint $ n + m

multi :: Integer -> Integer -> HookMonad Integer
multi n m = nonMinusPoint $ n * m


{-

*Main> getValue $ foldl (>>=) (nonMinusPoint 0) [(add 1), (add (-2)), (add (-3)), (add 10)]
10
*Main> fmap getValue $ scanl (>>=) (nonMinusPoint 0) [(add 1), (add (-2)), (add (-3)), (add 10)]
[0,1,0,0,10]

*Main> getValue $ foldl (>>=) (nonMinusPoint 0) [(add 1), (multi 100), (multi (-1)), (add 20)]
20
*Main> fmap getValue $ scanl (>>=) (nonMinusPoint 0) [(add 1), (multi 100), (multi (-1)), (add 20)]
[0,1,100,0,20]

-}