monad-control-aligned

For package maintainers and hackage trustees An alternative edition of monad-control that forces all state data types to: This just allows us to use extractable-singleton to run our state type - useful for obtaining the subject data while running in a lifted context - basically exactly the same as what monad-unlift does.