When functional programming meets religion, you get this masterpiece. Some genius actually implemented conditional baptism in Haskell, complete with type signatures and the Maybe monad to handle the existential uncertainty of your soul's salvation status.
The function returns Nothing
if you're already baptized (no double-dipping in holy water), and wraps you in a Just
if you get the spiritual upgrade. Because apparently, even divine grace needs proper type checking.
Next PR: implementing confession as a monadic error handler.