AOP.Internal.AOTType

data AOT m a