Data.Generics.Alloy.Effect

class AlloyA t o o'

type RecurseA f opT

makeRecurseA

makeRecurseM

type DescendA f opT

makeDescendA

makeDescendM

data BaseOpA m

baseOpA

data (t :-* opT) m

type OneOpA t

type TwoOpA s t