Declarative concurrency and stream processing library for Scala
Comprehensions for Arrows and Monoidal categories
Linear types in Scala