Adds Hole to help puzzling out implementations for type signatures.
Apply: all.
Bind: halfway through. D: