The bottom type of all standard effects. It is used by the DBIO and StreamingDBIO
type aliases instead of Nothing because the compiler does not properly infer Nothing
where needed. You can still introduce your own custom effect types but they will not be
used by DBIO and StreamingDBIO, so you either have to define your own type aliases
or spell out the proper DBIOAction types in type annotations.
The bottom type of all standard effects. It is used by the
DBIOandStreamingDBIOtype aliases instead ofNothingbecause the compiler does not properly inferNothingwhere needed. You can still introduce your own custom effect types but they will not be used byDBIOandStreamingDBIO, so you either have to define your own type aliases or spell out the properDBIOActiontypes in type annotations.