| 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 |
|