title: How to use shapeless HList to have a list of the same type but with a different generic?
body: <p>I need to define a type as a list of <code>Action[T &gt;: MyType]</code> where <code>MyType</code> for now is equivalent to <code>Any</code> but it might change.</p>
  
  <p>A <code>List[Action[T]]</code> doesn't fit for many cases and the compiler can't solve it.</p>
  
  <p>So I thought I could use an <code>HList</code> but I'm really noob with it. </p>
  
  <p>I started with <code>type ListOfAction = HList</code> but I want the elements of my list to be all <code>Action</code> but I don't know how to specify that the list should look like <code>Action[Double]</code>, <code>Action[Int]</code>, <code>Action[String]</code>, ... and not only possible type.</p>