An existential plugin for Ruby