add tests for maybe type