Add `Exists` type (#60) · Issues · loutr / Proost