happyThen :: () => P a