splitAt typechecks as well :)