Overloaded types in Samba

Overloaded types in Samba

In Haskell, the Maybe type is defined as
data Maybe a = Nothing | Just a

So if you're given something of Maybe Integer type, you have to pattern match it with the two constructors in order to get the integer value out of it.

I think his point is that you have to deal with failure upfront; you cannot ignore it.