Silence shadowing warnings, simplify a function with the Maybe monad, and add some documentation
Silence shadowing warnings, simplify a function with the Maybe monad, and add some documentation

travitch/foreign-inference,travitch/foreign-inference