make splitAt return a dependent pair