home.social
  1. fn main() {
    println!("{}", <S<S<S<S<Z>>>> as Nat>::Fact::INT);
    }