https://avestura.dev/blog/what-is-the-type-of-type · Should type of `Type` be also `Type`? Or is there an alternative?
