Index - T
| Tail | Type.Data.List |
| ToUnary | |
| 1 (Type/Class) | Type.Data.Num.Decimal.Digit |
| 2 (Type/Class) | Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal |
| ToUnaryAcc | Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal |
| True | |
| 1 (Type/Class) | Type.Data.Bool |
| 2 (Data Constructor) | Type.Data.Bool |
| true | Type.Data.Bool |