[Agate 002] abstract type