Playing with typelists again