Re: How to tie procedure to type?

[japplegame]

I know about these techniques, they're too awkward in my opinion. They also 
prevent lambdas from being used as a comparison function.