Defining bind for the delay monad (quotiented by weak bisimilarity)
	modified:   Monads/Delay.agda