ADPfusion-0.4.0.2: Efficient, high-level dynamic programming.
ADP.Fusion.Term.PeekIndex
module ADP.Fusion.Term.PeekIndex.Type
module ADP.Fusion.Term.PeekIndex.Subword