Data.Ordinal

data One

data Succ n

type Two

type Three

type Four

type Five

type Six

type Seven

type Eight

type Nine

type Ten

class Ordinal n