Generic PHP types