type check function application
always output type check info, fix build dependencies