typed_cap
