Currently, typed_import and typed_export are defined using definition. However, this prevents these constructs to be corecursion-friendly, as their types contain extra type variables. We shall fix this problem by turning these definitions into abbreviations.
Currently,
typed_importandtyped_exportare defined usingdefinition. However, this prevents these constructs to be corecursion-friendly, as their types contain extra type variables. We shall fix this problem by turning these definitions into abbreviations.