maybe a `leap_assert_type` for this?