Safe Haskell | None |
---|
The Tetra
fragment has four base kinds:
Data
, Region
, Effect
, Witness
,
and uses the S
computation type to represent effects.
Safe Haskell | None |
---|
The Tetra
fragment has four base kinds:
Data
, Region
, Effect
, Witness
,
and uses the S
computation type to represent effects.