working on tasks
worker performs a task
playing with dependent types
cleanup