Fix for multiple return statements
Fixes incorrect type conversion for Maybe

Adds regression test for incorrect Maybe