1happyThen :: () => P a
2