A few words about simplified types signatures