Simple generics for PHP