[daveliepmann]

People's use of spec varies widely. My take is that error maps are for internal work. Contracts are for what passes over some sort of system boundary, so it seems feasible to just...not spec the monadic aspect?

Personally I haven't worked on a project where the two overlapped, so perhaps someone with direct experience can chime in on how they navigated it.