and is there a built-in somewhere to convert a java 8

Stream

into a kotlin

Sequence

?

Yes, check

kotlin.streams

package in

kotlin-stdlib-jdk8