UTCTimeが関わるテストをQuickCheckで書こうとしてハマった。まずUTCTimeをランダム生成するために、UTCTimeをArbitraryのインスタンスにしようとした。 UTCTimeはDayとDiffTimeの組になっていて、DayとDiffTimeはIntegerから作れるし、IntegerはArbitraryの…