SafeLang15: SafeLang15.hs:22:9-37: Non-exhaustive patterns in Just p'