// some simplified definitions
type parser('a) = option((list(string), 'a));
let char: parser(char);
let many: parser('a) => parser(list('a));

// how can i get this to typecheck?
let rec test: parser(list(char)) = many(single)
and char: parser(char) = symbol("test");