Welcome to Soares Chen's homepage MaybeVoid. My interest is in functional programming (Haskell, Rust, Ocaml, etc), and programming language research (dependent types algebraic effects, row polymorphism, session types, etc).

In general, if you understands how the Haskell type Maybe Void is equivalent to (), or if you are interested in finding that out, then you might be interested to read my posts here.

Disclaimer: Content on this site are purely my personal opinions produced on my own free time. This site is not affiliated with any organization or company that I work with.



Effects library in Haskell supporting both algebraic effects (free monad) and mtl-style effects.


Session type EDSL in Rust, supporting both linear and shared session types.

Quasi Params

Better implicit parameters in Haskell.


Row polymorphism library in Haskell.

Recent Posts

Read more in Archive.