Added Hoist[Process] instance

I really wish that the JVM supported covariant omission of implicit constraints.