seq form in Machine, evaluate over list