@@ -0,0 +1,2 @@
+The type of the expression `bagFee False` is Int.
+The value of the expression `bagFee False` is 0.
