>anonymousでunboxedな直和型を実現する機能。