No implicit argument for generated .v