代数型のサンプルを写経したけど、さっぱり理解できていない