Added Maybe parameterized type example