Eff
Effect Systemがのった、たぶんHaskell寄りのプログラミング言語
https://www.eff-lang.org
ドキュメントなくない？