GENERIC: contract ( list -- ) M: mlist contract ( mlist -- ) list>sequence >mlist