Parametrized types: Maybe, List and Tree