pub fn single_type<T>(code: T) -> Typewhere
    T: Into<i32>,