Proved that the Kleisli cat of the delay monad quotiented by weak bisimilarity is a restriction category
	modified:   Restriction/Delay.agda