bind package:formatting

Monadic indexed bind for holey monoids.