Using bind is not permitted when T.proc is ValueType of T::Hash

Question

I\'m getting an error when trying to put T.proc.bind as a ValueType of a T::Hash.

# typed: true
extend T::Sig

sig { params