Data.Fold
class Scan p
class Folding p
beneath
data L1 a b
data L1' a b
data M1 a b
data R1 a b
data L a b
data L' a b
data M a b
data R a b
class AsRM1 p
class AsL1' p
class AsRM p
class AsL' p