use sealed_typestate::sealed_typestate;
sealed_typestate!(Foo { Bar, Baz });

fn main() {}