[X]X
Int
===
[X]Id[X]
Id[Int]
Int