I want to type a function that produces an effect but constrain the success type. However when I constrain the success type, how can I keep error and context of the effect unrestrained?

I want to type a function that produces an effect but constrain the success type. However when I constrain the success type, how can I keep error and context of the effect unrestrained?

I want to type a function that produces an effect but constrain the success type. However when I constrain the success type, how can I keep error and context of the effect unrestrained?

I want to type a function that produces an effect but constrain the success type. However when I constrain the success type, how can I keep error and context of the effect unrestrained?

I want to type a function that produces an effect but constrain the success type. However when I constrain the success type, how can I keep error and context of the effect unrestrained?