Example: make map polymorphic
  - This required fixing TUnpack