Data.Generics.Alloy.Pure

class Alloy t o o'

type Recurse opT

makeRecurse

type Descend opT

makeDescend

data BaseOp

baseOp

data t :- opT

type OneOp t

type TwoOp s t