Could allow an alternative definition of `runMVC` like this ``` haskell runMVCT :: MonadIO m => s -> Model s a b -> Managed (ViewT m b, Controller a) -> m s ``` `ViewT` could be nice to have too