Actually, there's some use case for these things:
you can simulate varargs, and yes the compilation time can be made arbitrary large:
https://gist.github.com/toolslive/5957292
$> time ocamlc vararg.ml
real 1m9.372s
user 1m9.264s
sys 0m0.044s
Thanks for pointing that out! I hadn't made the connection and now I've got another reason to figure out how fold works (have yet to wade through all of http://mlton.org/Fold)