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