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.
unit
string