-- | Pack a 'Step' of a 'Machine' into a 'Machine'.
encased :: Monad m => Step k o (MachineT m k o) -> MachineT m k o
encased = MachineT #. return
encased :: Monad m => Step k o (MachineT m k o) -> MachineT m k o
encased = MachineT #. return
encased = MachineT #. return