I am trying to create a type constructor, whose signature does not end with * (Type) (e.g. k -> k)T