hmm, so we can't use raw hlists of parameterized types?