Split type signature and definition of eval-seq-core