hgignore
Add ListT monad transformer
Add some functions for working with streams
Fold composition
Move proofs to separate file
Add transformations as Kleisli arrows (PipetteM)
Drafts