The kind of all effect types.
Declare new effect types using
foreign data declarations, as follows:
import Control.Monad.Eff (kind Effect) foreign import data MyEffect :: Effect
Eff type constructor is used to represent native effects.
See Handling Native Effects with the Eff Monad for more details.
The first type parameter is a row of effects which represents the contexts in which a computation can be run, and the second type parameter is the return type.