Control.Effect.CounterNat

data Counter n a

tick