mixing them may be a bit more difficult maybe? to have full control there would need be a way to a way to index the constraint usages:
domanythings :: forall specializeDo specializeLog m l …
domanythings value = do@specializeDo
log @specializeLog value
missiles
return 1
