T.Type=T.selfのテクニック、結構有用だしstdlibでも使って欲しいだけどevolutionかな