Functor/Прикладные примеры для штата в Хаскелле

После прочтения (и снятия некоторых разделов) бумаги Вадлера на монадах я решил более подробно проработать статью, указав функтор и аппликативные экземпляры для каждой из монад, которые он описывает. Использование синонима типа

type M a = State -> (a, State)
type State = Int

Wadler использует для определения монады состояния, у меня есть следующее (используя связанные имена, чтобы я мог позже определить их с объявлением newtype).

fmap' :: (a -> b) -> M a -> M b
fmap' f m = \st -> let (a, s) = m st in (f a, s)

pure' :: a -> M a
pure' a = \st -> (a, st)

(<@>) :: M (a -> b) -> M a -> M b
sf <@> sv = \st -> let (f, st1) = sf st
                       (a, st2) = sv st1
                    in (f a, st2)

return' :: a -> M a
return' a = pure' a

bind :: M a -> (a -> M b) -> M b
m `bind` f = \st -> let (a, st1) = m st
                        (b, st2) = f a st1
                     in (b, st2)

Когда я переключаюсь на использование конструктора типа в объявлении newtype, например,

newtype S a = S (State -> (a, State))

все разваливается. Все это просто небольшая модификация, например,

instance Functor S where
 fmap f (S m) = S (\st -> let (a, s) = m st in (f a, s)) 

instance Applicative S where
 pure a = S (\st -> (a, st))

однако ничего не работает в GHC из-за того, что выражение лямбда скрыто внутри этого конструктора типов. Теперь единственным решением, которое я вижу, является определение функции:

isntThisAnnoying s (S m) = m s

чтобы привязать s к 'st' и фактически вернуть значение, например,

fmap f m = S (\st -> let (a, s) = isntThisAnnoying st m in (f a, s))

Есть ли другой способ сделать это, который не использует эти вспомогательные функции?