T :: k -> k
= T
T :: k -> k