do not abstract monomorphic lambda vars
make correct DataConWorker Type