mapM makeTheDistinctThing [1..n]