Yes, though I think it should actually be `StT $ (fmap . first) g . f`.