coatMonoidal = Dict -- one obligation discharged