This artifact accompanies the paper “Special Delivery: Programming with Mailbox Types”. It includes an OCaml implementation of the typechecker described in the paper, in particular implementing the algorithmic type system. The artifact includes all of the examples in the paper.