AOP.Internal.Function
data
Function
a b
type
FunctionTag
mkFunction
defaultFunctionTag
newTag