WIP: Specialize

Hans-Peter Deifelrequested to merge
specialization into master

See what happens if we let GHC specialize the algorithm for specific functors

Merge request reports