Whichなのかなーとか

6:57 AM

思ったけど型名であると考えるとEither型の方が認知は絶対高くて、しかしEither3,4,5のような用法は

6:58 AM

ググった感じそんなになさそう