automaton-1.5: Effectful streams and automata in coalgebraic encoding