Avatar
union type なのか ADT なのか フワフワしてんのがいかんのかな