Arbitrary instance for Module (and everything it depends on)