fact: Definition use `(l : Getting a s a) `{Monad m} : StateT s m a := view l <$> getT.
imports: Hask.Prelude Hask.Control.Monad Hask.Data.Functor.Contravariant Hask.Data.Functor.Identity Hask.Control.Monad.Trans.State