Represent type family kind signature using new datatype
Attempt to bring return tyfam variable into scope