implement bind. Add ContinuableAlgebra