status: draft (2026-08-30)
keywords: Miscellaneous
Monads are a fundamental concept in functional programming. Schemers have been using them for a long time, albeit with ad hoc constructions only meant for specific monads. This SRFI deals with monads generally by extending Scheme with first-class monad objects and adding Haskell-like syntax for composing monadic computations. The API is minimal and the implementation trivial.