Control.Effect.Counter
data
Z
data
S
n
data
Counter
n a
tick
type family
n
:+
m