helpful type synonym
better comment
better comment there, too
coarbitrary is magic