>>> :kind! Maybe (Snd '(Int, Text)) Maybe (Snd '(Int, Text)) :: * = Maybe Text >>> :kind! Maybe (Snd (Int, Text)) Maybe (Snd (Int, Text)) :: * = Maybe Text
>>> :kind! Snd '(Bool, Char) Snd '(Bool, Char) :: * = Char