maybe-better type-annotating