dryad/type-check
Main
Main.str