Effect-performing type-polymorphic value traversal
experiment for a execution-time type representation performing effects
