Typos

1 files changed, 2 insertions, 2 deletions

diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 38c54f7..c18014e 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -49,9 +49,9 @@ pub enum TypedThunk {
     // Any value, along with (optionally) its type
     Untyped(Thunk),
     Typed(Thunk, Box<Type>),
-    // One of the base higher-kinded typed.
+    // One of the base higher-kinded types.
     // Used to avoid storing the same tower ot Type->Kind->Sort
-    // over and over again. Also enables having Sort as a type
+    // over and over again. Also enables having Sort as a value
     // even though it doesn't itself have a type.
     Const(Const),
 }