Parameters to vary/fill in stated first now.  First step of code production works (static filling in).  Second step (elaboration) does not yet.
Parameters to vary/fill in stated first now.  First step of code production works (static filling in).  Second step (elaboration) does not yet.

scala/scala-collections-laws