Won't compile without `void` return type

[ElegantBeef]

`proc` is a typeclass so therefore it's ambiguous which procedure you want to 
call `proc()` is what you want.