Metadata
Author: ParaCrawl Corpus
Data
English[en]
Recall that the Eff type constructor is parameterized by a row of effects and a return type, which is reflected in its kind.
Spanish[es]
Recuerda que el constructor de tipo Eff está parametrizado por una fila de efectos y un tipo de retorno, lo que viene reflejado en su familia.