Refined promises-aplus