About

MaybeVoid is Soares Chen's personal website to talk about his various topics of interest, including Rust, programming language theory, and blockchain.

In Haskell, the type MaybeVoid is defined as:

data Void
data Maybe a = Just a | Nothing
type MaybeVoid = Maybe Void