たしかKotlinは LCT(T, F) で Either(T, F)ではなかったと思う。