A library for composable and effectful production, transformation and consumption of streams of data in Idris - View it on GitHub