@@ -13,7 +13,7 @@ module Maybe where
15import Basics (not, (.))
15import Basics (not, (.))
16−import List (foldr)
16+import List (foldr, (::))
18{-| The Maybe datatype. Useful when a computation may or may not
18{-| The Maybe datatype. Useful when a computation may or may not
19result in a value (e.g. logarithm is defined only for positive
19result in a value (e.g. logarithm is defined only for positive