[Crystal 002] abstract type