Promise Typing & Document Clearance