Fix maybe type signature to reflect standard lib

Correct the type signature example of the maybe function to reflect what is found in the standard Idris librarie.