AOP.Internal.Advice
type Advice m a b
apply_adv
replace
augment
narrow
before
after
type Narrow a b c m