ixmonad-0.3: Indexed monads library
Control.IxMonad.Counter
data Z Source
data S n Source
data Counter n a Source
Instances
one :: a -> Counter (S Z) aSource