T :: * -> * -> *
T Int :: * -> *
T Int Bool :: *