- strict args may be flattened
The worker is very like a primop, in that it has no binding.
- Newtypes currently do get a worker-Id, but it is never used.
+ Newtypes have no worker Id
- The "wrapper Id", $wC, whose type is exactly what it looks like
+ The "wrapper Id", $WC, whose type is exactly what it looks like
in the source program. It is an ordinary function,
and it gets a top-level binding like any other function.
-- may or may not have a wrapper, depending on whether
-- the wrapper does anything.
- -- *Neither* the worker *nor* the wrapper take the dcStupidTheta dicts as arguments
+ -- _Neither_ the worker _nor_ the wrapper take the dcStupidTheta dicts as arguments
-- The wrapper takes dcOrigArgTys as its arguments
-- The worker takes dcRepArgTys as its arguments