- datatype Blah = Foo | Bar | Baz;
datatype Blah = Bar | Baz | Foo
- Bar;
val it = Bar : Blah
- Baz;
val it = Baz : Blah
- Foo;
val it = Foo : Blah
- fun boop Bar = 0
=  |  boop Baz = 1
=  |  boop Foo = 2;
val boop = fn : Blah -> int
- boop Baz;
val it = 1 : int
- boop Foo;
val it = 2 : int
- boop Bar;
val it = 0 : int