- how to handle reification of types with a HKT type-param?
- if the hkt-type-param is not used:
class Foo[F[_]]
- if the hkt-type-param is used in method signatures:
trait Foo[F[_]] def map[A](a: A): F[A]
- if the hkt-type-param is used in the body of a function with a concrete type (is that even possible? where should it get that type from?):
- if the hkt-type-param is not used:
trait Foo[F[_]]