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