基盤上のモナド、h4 $MON 上のブルディブ