diff --git a/geo-types/src/coordinate.rs b/geo-types/src/coordinate.rs
index 28195563ed..19bed62690 100644
--- a/geo-types/src/coordinate.rs
+++ b/geo-types/src/coordinate.rs
@@ -69,19 +69,19 @@ impl<T: CoordNum, Z: ZCoord, M: Measure> From<PointTZM<T, Z, M>> for CoordTZM<T,
     }
 }
 
-impl<T: CoordNum> From<Coordinate<T>> for (T, T) {
-    fn from(coord: Coordinate<T>) -> Self {
+impl<T: CoordNum, Z: ZCoord, M: Measure> From<CoordTZM<T, Z, M>> for (T, T) {
+    fn from(coord: CoordTZM<T, Z, M>) -> Self {
         (coord.x, coord.y)
     }
 }
 
-impl<T: CoordNum> From<Coordinate<T>> for [T; 2] {
-    fn from(coord: Coordinate<T>) -> Self {
+impl<T: CoordNum, Z: ZCoord, M: Measure> From<CoordTZM<T, Z, M>> for [T; 2] {
+    fn from(coord: CoordTZM<T, Z, M>) -> Self {
         [coord.x, coord.y]
     }
 }
 
-impl<T: CoordNum> Coordinate<T> {
+impl<T: CoordNum, Z: ZCoord, M: Measure> CoordTZM<T, Z, M> {
     /// Returns a tuple that contains the x/horizontal & y/vertical component of the coordinate.
     ///
     /// # Examples
diff --git a/geo-types/src/geometry.rs b/geo-types/src/geometry.rs
index 8e057b4efd..4767786540 100644
--- a/geo-types/src/geometry.rs
+++ b/geo-types/src/geometry.rs
@@ -1,8 +1,6 @@
 use crate::{
-    CoordNum, Error, GeometryCollection, GeometryCollectionTZM, Line, LineString, LineStringTZM,
-    LineTZM, Measure, MultiLineString, MultiLineStringTZM, MultiPoint, MultiPointTZM, MultiPolygon,
-    MultiPolygonTZM, NoValue, Point, PointTZM, Polygon, PolygonTZM, Rect, RectTZM, Triangle,
-    TriangleTZM, ZCoord,
+    CoordNum, Error, GeometryCollectionTZM, LineStringTZM, LineTZM, Measure, MultiLineStringTZM,
+    MultiPointTZM, MultiPolygonTZM, NoValue, PointTZM, PolygonTZM, RectTZM, TriangleTZM, ZCoord,
 };
 
 #[cfg(any(feature = "approx", test))]
@@ -84,32 +82,32 @@ impl<T: CoordNum, Z: ZCoord, M: Measure> From<MultiPolygonTZM<T, Z, M>> for Geom
     }
 }
 
-impl<T: CoordNum> From<Rect<T>> for Geometry<T> {
-    fn from(x: Rect<T>) -> Self {
+impl<T: CoordNum, Z: ZCoord, M: Measure> From<RectTZM<T, Z, M>> for GeometryTZM<T, Z, M> {
+    fn from(x: RectTZM<T, Z, M>) -> Self {
         Self::Rect(x)
     }
 }
 
-impl<T: CoordNum> From<Triangle<T>> for Geometry<T> {
-    fn from(x: Triangle<T>) -> Self {
+impl<T: CoordNum, Z: ZCoord, M: Measure> From<TriangleTZM<T, Z, M>> for GeometryTZM<T, Z, M> {
+    fn from(x: TriangleTZM<T, Z, M>) -> Self {
         Self::Triangle(x)
     }
 }
 
 macro_rules! try_from_geometry_impl {
-    ($($type: ident),+) => {
+    ($(($type: ident, $typeTZM: ident)),+ $(,)? ) => {
         $(
         /// Convert a Geometry enum into its inner type.
         ///
         /// Fails if the enum case does not match the type you are trying to convert it to.
-        impl <T: CoordNum> TryFrom<Geometry<T>> for $type<T> {
+        impl <T: CoordNum, Z: ZCoord, M: Measure> TryFrom<GeometryTZM<T, Z, M>> for $typeTZM<T, Z, M> {
             type Error = Error;
 
-            fn try_from(geom: Geometry<T>) -> Result<Self, Self::Error> {
+            fn try_from(geom: GeometryTZM<T, Z, M>) -> Result<Self, Self::Error> {
                 match geom {
-                    Geometry::$type(g) => Ok(g),
+                    GeometryTZM::$type(g) => Ok(g),
                     other => Err(Error::MismatchedGeometry {
-                        expected: type_name::<$type<T>>(),
+                        expected: type_name::<$typeTZM<T, Z, M>>(),
                         found: inner_type_name(other)
                     })
                 }
@@ -119,33 +117,33 @@ macro_rules! try_from_geometry_impl {
     }
 }
 
+// `concat_idents` is not available, so hacking around it
 try_from_geometry_impl!(
-    Point,
-    Line,
-    LineString,
-    Polygon,
-    MultiPoint,
-    MultiLineString,
-    MultiPolygon,
-    Rect,
-    Triangle
+    (Point, PointTZM),
+    (Line, LineTZM),
+    (LineString, LineStringTZM),
+    (Polygon, PolygonTZM),
+    (MultiPoint, MultiPointTZM),
+    (MultiLineString, MultiLineStringTZM),
+    (MultiPolygon, MultiPolygonTZM),
+    (Rect, RectTZM),
+    (Triangle, TriangleTZM),
 );
 
-fn inner_type_name<T>(geometry: Geometry<T>) -> &'static str
-where
-    T: CoordNum,
-{
+fn inner_type_name<T: CoordNum, Z: ZCoord, M: Measure>(
+    geometry: GeometryTZM<T, Z, M>,
+) -> &'static str {
     match geometry {
-        Geometry::Point(_) => type_name::<Point<T>>(),
-        Geometry::Line(_) => type_name::<Line<T>>(),
-        Geometry::LineString(_) => type_name::<LineString<T>>(),
-        Geometry::Polygon(_) => type_name::<Polygon<T>>(),
-        Geometry::MultiPoint(_) => type_name::<MultiPoint<T>>(),
-        Geometry::MultiLineString(_) => type_name::<MultiLineString<T>>(),
-        Geometry::MultiPolygon(_) => type_name::<MultiPolygon<T>>(),
-        Geometry::GeometryCollection(_) => type_name::<GeometryCollection<T>>(),
-        Geometry::Rect(_) => type_name::<Rect<T>>(),
-        Geometry::Triangle(_) => type_name::<Triangle<T>>(),
+        GeometryTZM::Point(_) => type_name::<PointTZM<T, Z, M>>(),
+        GeometryTZM::Line(_) => type_name::<LineTZM<T, Z, M>>(),
+        GeometryTZM::LineString(_) => type_name::<LineStringTZM<T, Z, M>>(),
+        GeometryTZM::Polygon(_) => type_name::<PolygonTZM<T, Z, M>>(),
+        GeometryTZM::MultiPoint(_) => type_name::<MultiPointTZM<T, Z, M>>(),
+        GeometryTZM::MultiLineString(_) => type_name::<MultiLineStringTZM<T, Z, M>>(),
+        GeometryTZM::MultiPolygon(_) => type_name::<MultiPolygonTZM<T, Z, M>>(),
+        GeometryTZM::GeometryCollection(_) => type_name::<GeometryCollectionTZM<T, Z, M>>(),
+        GeometryTZM::Rect(_) => type_name::<RectTZM<T, Z, M>>(),
+        GeometryTZM::Triangle(_) => type_name::<TriangleTZM<T, Z, M>>(),
     }
 }
 
diff --git a/geo-types/src/line_string.rs b/geo-types/src/line_string.rs
index 9719f223e0..63c3ee7db5 100644
--- a/geo-types/src/line_string.rs
+++ b/geo-types/src/line_string.rs
@@ -1,9 +1,7 @@
 #[cfg(any(feature = "approx", test))]
 use approx::{AbsDiffEq, RelativeEq};
 
-use crate::{
-    CoordNum, CoordTZM, Coordinate, LineTZM, Measure, NoValue, Point, PointTZM, TriangleTZM, ZCoord,
-};
+use crate::{CoordNum, CoordTZM, LineTZM, Measure, NoValue, Point, PointTZM, TriangleTZM, ZCoord};
 use std::iter::FromIterator;
 use std::ops::{Index, IndexMut};
 
@@ -378,25 +376,25 @@ impl<'a, T: CoordNum, Z: ZCoord, M: Measure> IntoIterator for &'a LineStringTZM<
 }
 
 /// Mutably iterate over all the [`Coordinate`]s in this [`LineString`]
-impl<'a, T: CoordNum> IntoIterator for &'a mut LineString<T> {
-    type Item = &'a mut Coordinate<T>;
-    type IntoIter = ::std::slice::IterMut<'a, Coordinate<T>>;
+impl<'a, T: CoordNum, Z: ZCoord, M: Measure> IntoIterator for &'a mut LineStringTZM<T, Z, M> {
+    type Item = &'a mut CoordTZM<T, Z, M>;
+    type IntoIter = ::std::slice::IterMut<'a, CoordTZM<T, Z, M>>;
 
-    fn into_iter(self) -> ::std::slice::IterMut<'a, Coordinate<T>> {
+    fn into_iter(self) -> ::std::slice::IterMut<'a, CoordTZM<T, Z, M>> {
         self.0.iter_mut()
     }
 }
 
-impl<T: CoordNum> Index<usize> for LineString<T> {
-    type Output = Coordinate<T>;
+impl<T: CoordNum, Z: ZCoord, M: Measure> Index<usize> for LineStringTZM<T, Z, M> {
+    type Output = CoordTZM<T, Z, M>;
 
-    fn index(&self, index: usize) -> &Coordinate<T> {
+    fn index(&self, index: usize) -> &CoordTZM<T, Z, M> {
         self.0.index(index)
     }
 }
 
-impl<T: CoordNum> IndexMut<usize> for LineString<T> {
-    fn index_mut(&mut self, index: usize) -> &mut Coordinate<T> {
+impl<T: CoordNum, Z: ZCoord, M: Measure> IndexMut<usize> for LineStringTZM<T, Z, M> {
+    fn index_mut(&mut self, index: usize) -> &mut CoordTZM<T, Z, M> {
         self.0.index_mut(index)
     }
 }