add command-line argument
matually rec types works
removed unnecessary actual_ty