1 2 3 4 5 6 7 8 9
type Foo[M] = proc() : M proc bar[M](f : Foo[M]) = discard f() proc baz() : int = 42 bar(baz)