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