Возврат значения с помощью монады состояния

Я новичок в Monads и Haskell в целом и пытаюсь понять, как вернуть значение при их использовании. Мой код выглядит примерно так:

foo :: A -> B
foo a = do  b <- fooC a (C 0)
            -- want to return just (B "b")

fooC :: A -> C -> State MyState B
fooC a c = return (B "b")

Я пытался использовать snd (snd b), но, видимо, State MyState B не является кортежем? Как вернуть нужное значение (B "b")?

Правка. Принимая во внимание совет Даниэля, переписывание выглядит следующим образом:

data MyState = MyState String
data C = C Int
foo :: String -> String
-- want to return just "b"
foo a = evalState (fooC a) (C 0)

fooC :: String -> Int -> State MyState String
fooC a c = return "b"

Это по-прежнему приводит к ошибке компиляции:

Couldn't match expected type `State s0 String'
            with actual type `Int -> State MyState String'
In the return type of a call of `fooC'
Probable cause: `fooC' is applied to too few arguments
In the first argument of `evalState', namely `(fooC a)'
In the expression: evalState (fooC a) (C 0)

Изменить 2: исправлено! Окончательный вариант выглядит следующим образом:

import Control.Monad.State
data MyState = MyState String
data C = C Int
foo :: String -> String
-- want to return just (B "b")
foo a = evalState (fooC a (C 0)) (MyState "whatever")

fooC :: String -> C -> State MyState String
fooC a c = return "b"

main = print(foo("test"))
-- prints "b"