FunctionalMaybe
