Moved here:

TypedHole