T1 : Type
    Some documentation
    
T2 : Type
    Some other documentation
    
T3 : Int
    Some provided postulate