((Identity 3,Identity 8,Identity 6,Identity 3),([7],Just (Identity 9),(4,8),Left 7),Right 9)
