toBool | Data.TypeLevel.Bool, Data.TypeLevel | toInt | Data.TypeLevel.Num.Sets, Data.TypeLevel.Num, Data.TypeLevel | toNum | Data.TypeLevel.Num.Sets, Data.TypeLevel.Num, Data.TypeLevel | Trich | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | trich | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel | True | Data.TypeLevel.Bool, Data.TypeLevel | true | Data.TypeLevel.Bool, Data.TypeLevel |
|