module Data.MonadicStreamFunction where