BJS-kr

I got stuck there too. same reason but I think comp1's result is Compose(Identity(Right([true]))) not Compose(Identity([Right(true)])) as you mentioned. 1. map: Identity(Right([true])).map(Compose.of) -> Identity(Compose(Right([true]))) 2. sequence: Identity(Compose(Right([true]))).sequence(Compose.of) -> Identity(...).traverse(Compose.of, x...

@sevillaarvin @lachrymaLF thanks for helping me out!