val foo : unit -> 'a Foo.t