Data.Karakuri

data Karakuri m a

type Karakuri'

step

transKarakuri

stateful

stateful'

effective