2 files changed, 7 insertions(+), 1 deletions(-)

M dhall-lang
M lib/dhall/normalize.rb

@@ 1,1 1,1 @@
-Subproject commit 07aa048ee5f5705c020172e0b74f7b929b2303da
+Subproject commit 3cff3fbc8d1c2c7c0397bbb9072ee8f47cc34dcc

@@ 187,9 187,15 @@ module Dhall
 	end
 
 	class Optional
+		def normalize
+			with(value: value.normalize, type: nil)
+		end
 	end
 
 	class OptionalNone
+		def normalize
+			with(type: type.normalize)
+		end
 	end
 
 	class Merge