@Requires for simple modules