Added Shake
Added protocol-monads