Passing type argument to Eiffel method

Question

I would like to write a cast method in Eiffel which takes 'the type to cast to' as a type parameter. Is there a way to pass a type into a method in Eiffel.

The only alternative I can think of is to create a new class for the conversion. Something like:

class
   CAST [G, H]

feature

   cast (in: LIST [G]): LIST [H]
      do
         -- cast code here
      end

Is there a better way to do this in Eiffel. In C# I can specify that a method takes type parameters separate from the class type parameters. Is there a similar feature in Eiffel?

I am using EiffelStudio 6.6.8.3873 GPL.

Thanks.