Control.Applicative.Successors

data Succs a

getCurrent

getSuccs