Write[Option[...]], fix lazyness
Rule macro