(doc) |T| -> T -> |: T| -> T