having second thoughts about a few things
if it typechecks, commit