ddfisher

#![feature(core_intrinsics)]

// This requires unstable features to compile so we can print out the type names.  The type
// arithmetic itself works fine on stable.

use std::marker::PhantomData;

enum Zero {}
enum Succ<T> {
    Succ(PhantomData<T>), // only required to satisfy the compiler