Maybe

Ein spezieller Typ zur Fehlerbehandlung, der die Anwesenheit oder Abwesenheit eines Wertes überprüft.

data Maybe a = Just a | Nothing

• Maybe a: Der Typ selbst. Er kann einen Wert vom Typ a enthalten oder auch nicht.
• Just a: Ein Konstruktor, der das Vorhandensein eines Wertes vom Typ a repräsentiert.
  • Signatur: Just :: a -> Maybe a
• Nothing: Ein Konstruktor, der die Abwesenheit eines Wertes repräsentiert.
  • Signatur: Nothing :: Maybe a

Anmerkung: Die Definition kann man auch als eine ein-elementige (oder leere) Liste auffassen.