Malebolgia & Pixy problem: expression has no address

[awr1]

also from a cursory glance this may fail because `proc` is probably being 
considered as a typeclass here instead of as a concrete procedure type in the 
context of `assign()`