unsafeFromInt | Data.Type.Ordinal |
unSingFun1 | Data.Type.Natural |
unSingFun2 | Data.Type.Natural |
unSingFun3 | Data.Type.Natural |
unSingFun4 | Data.Type.Natural |
unSingFun5 | Data.Type.Natural |
unSingFun6 | Data.Type.Natural |
unSingFun7 | Data.Type.Natural |
unSingFun8 | Data.Type.Natural |