module Hypo::Lifetime