Moved here:
 (DIR) TypedHole