Rebase.Control.Monad.Signatures