Type Alias Bind 

pub type Bind<M, F> = Eval<BindOn<<M as Value>::Type, F>, M>;