type-class constraint really is 'FuelMonad' not 'HooplM'.  Revert, and take this monad off center stage.
type-class constraint really is 'FuelMonad' not 'HooplM'.  Revert, and take this monad off center stage.

hvr/hoopl,ezyang/hoopl,hvr/hoopl