Index
| ArityOf | Type.Funspection.Undecidable, Type.Funspection |
| CanReturn | Type.Funspection.Decidable, Type.Funspection |
| EnableIf | Type.Funspection.Decidable, Type.Funspection |
| Return | |
| 1 (Type/Class) | Type.Funspection.Decidable, Type.Funspection |
| 2 (Data Constructor) | Type.Funspection.Decidable, Type.Funspection |
| ReturnOf | Type.Funspection.Decidable, Type.Funspection |
| TaggedReturn | Type.Funspection.Decidable, Type.Funspection |
| TagReturn | Type.Funspection.Decidable, Type.Funspection |
| tagReturn | Type.Funspection.Decidable, Type.Funspection |
| unReturn | Type.Funspection.Decidable, Type.Funspection |
| UntaggedReturn | Type.Funspection.Decidable, Type.Funspection |
| UntagReturn | Type.Funspection.Decidable, Type.Funspection |
| untagReturn | Type.Funspection.Decidable, Type.Funspection |