// @noflow

// annotations

type T = number | (() => string);
type Foo = T | (() => bool);

type Bar = number | (() => string) | (() => bool);

function foo(x: Foo) { }
foo(() => qux());

function bar(x: Bar) { }
bar(() => qux());

var x = false;
function qux() { return x; }
x = "";