AOP.Internal.Advice

type Advice m a b

apply_adv

replace

augment

narrow

before

after

type Narrow a b c m