Parameter Sugar__Promise_builder.Make.1-UserError

type t

This type describes the errors of your project. It's one of the main requirements to create a result monad.

If you don't want to specify your errors upfront, you can still use something like unit or string as error type.