Implement Maybe type (1 test failing)