@andralex: Shouldn't we try to constraint this template to only aggregate types? I don't see the use case for `FieldTypeTuple!int == TypeTuple!int`. Although this template was always like this and might break code if we added the constraint.