ah okay, as long as the `lazy` is not needed for correct function of the `typeTag` then everything is fine