id : [[a]] -> (a);