Optionals aren't a “functional concept”, whatever that means. They're just another data type, like tuples, lists, trees, etc.