Simple is Pure

by 二郎は鮨の夢を見る

import Control.Applicative

iota :: Alternative f => Int -> f Int
iota = asum . map pure . enumFromTo 1

Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl)