f :: Identity () -> Identity [Int] -> Identity Int
f i0 i1 = do
    _ <- i0
    [x] <- i1
    pure (x + 42)
f :: Identity () -> Identity [Int] -> Identity Int
f i0 i1 = do
    _ <- i0
    [x] <- i1
    pure (x + 42)
f i0 i1 = do
    _ <- i0
    [x] <- i1
    pure (x + 42)