The simulation monads are Applicative instances now.