Once

data Once a b

makeOnce

runOnce