Tail | Data.Type.Natural |
Ten | Data.Type.Natural |
ten | Data.Type.Natural |
Thirteen | Data.Type.Natural |
thirteen | Data.Type.Natural |
Three | Data.Type.Natural |
three | Data.Type.Natural |
Twelve | Data.Type.Natural |
twelve | Data.Type.Natural |
Twenty | Data.Type.Natural |
twenty | Data.Type.Natural |
Two | Data.Type.Natural |
two | Data.Type.Natural |