-- ditto module
module Example exports (..);

import (core) Maybe;
import My.Module as MM (
  my_thing
);

type Dunno;

type Example = Example;

type FooBarBaz(a, b) =
    | Foo
    | Bar(a, b)
    | Baz;

foreign magic: (Int, a) -> Bool;

example = Example;
bar = Bar("", unit);
five_int : Int = 5;
five_float : Float = 5.0;
five_thousand : Int = 5_000.0_0;
five_string : String = "five";
fives : Array(Int) = [5, 5, 5, 5, 5, 5];
nada = unit;
yes = true;
no = false;